Skip to content

Fix: WF ICE assumptions on binders - #160497

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
ssenthilnathan3:fix/wf-ice-assumptions-on-binders
Aug 17, 2026
Merged

Fix: WF ICE assumptions on binders#160497
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
ssenthilnathan3:fix/wf-ice-assumptions-on-binders

resolve inference vars before enter_forall_with_assumptions in dyn up…

5b3fb6b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Calculate job matrix
succeeded Aug 17, 2026 in 33s