Skip to content

Avoid manually instantiating some binders in error reporting with -Znext-solver - #162262

Merged
rust-bors[bot] merged 2 commits into
rust-lang:mainfrom
sjwang05:forall-binder-ice
Sep 5, 2026
Merged

Avoid manually instantiating some binders in error reporting with -Znext-solver#162262
rust-bors[bot] merged 2 commits into
rust-lang:mainfrom
sjwang05:forall-binder-ice

make `poly_select` delegate to next-solver directly

368791e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Calculate job matrix
succeeded Sep 3, 2026 in 51s