A drive-by rewrite of `give_region_a_name()`#120704

Merged

bors merged 2 commits intorust-lang:masterfrom amandasystems:silly-region-name-rewrite

Feb 9, 2024

+31-27

Commits on Feb 6, 2024

A drive-by rewrite of give_region_a_name()
amandasystems
committed

Commits on Feb 8, 2024

Make RegionName Copy by (transitively) interning the few string variants
amandasystems
committed