Skip to content

Resolve vars before calling unnormalized_obligations - #159818

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
adwinwhite:next-solver-ice2
Jul 31, 2026
Merged

Resolve vars before calling unnormalized_obligations#159818
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
adwinwhite:next-solver-ice2

add missing resolving vars

f79fa63
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Calculate job matrix
succeeded Jul 24, 2026 in 37s