Repository navigation

trait solver: Resolve region vars in max universe - #157921

Merged

rust-bors[bot] merged 3 commits into

rust-lang:mainfrom

Dnreikronos:fix-assumptions-on-binders-placeholder-ice

Jun 25, 2026

Merged

trait solver: Resolve region vars in max universe#157921
rust-bors[bot] merged 3 commits into
rust-lang:mainfrom
Dnreikronos:fix-assumptions-on-binders-placeholder-ice

Commits on Jun 15, 2026
- resolve region inference vars when computing their max universe
  Dnreikronos
  committed
  a390036
Commits on Jun 20, 2026
- Resolve vars before computing max universe
  Dnreikronos
  committed
  3bb0a1c
- Format max universe visitor
  Dnreikronos
  committed
  a44ab8d