(More) consistently use "region" terminology in rustc_middle#110621
Closed
WaffleLapkin wants to merge 8 commits into
Closed
(More) consistently use "region" terminology in rustc_middle#110621WaffleLapkin wants to merge 8 commits into
rustc_middle#110621WaffleLapkin wants to merge 8 commits into