Repository navigation

Remove `RegionExt`; move methods to `Region` in `rustc_type_ir` - #160509

Merged

rust-bors[bot] merged 2 commits into

rust-lang:mainfrom

Jamesbarford:chore/shrink-region-ext-triats-pt2

Sep 5, 2026

Merged

Remove `RegionExt`; move methods to `Region` in `rustc_type_ir`#160509
rust-bors[bot] merged 2 commits into
rust-lang:mainfrom
Jamesbarford:chore/shrink-region-ext-triats-pt2

Commits on Sep 4, 2026
- Implementation change for removing RegionExt
  Jamesbarford
  committed
  309c47a
- update imports and method signature changes
  Jamesbarford
  committed
  f3cf30d