Remove RegionExt; move methods to Region in rustc_type_ir - #160509
Merged
rust-bors[bot] merged 2 commits intoSep 5, 2026
Merged
Remove RegionExt; move methods to Region in rustc_type_ir#160509rust-bors[bot] merged 2 commits into
RegionExt; move methods to Region in rustc_type_ir#160509rust-bors[bot] merged 2 commits into
background
wait
wait-all
cancel
parallel
Loading