Skip to content

-Znext-solver : Abort on the first overflowed obligation in fulfillment - #162223

Open
adwinwhite wants to merge 1 commit into
rust-lang:mainfrom
adwinwhite:abort-on-fulfillment-overflow
Open

-Znext-solver : Abort on the first overflowed obligation in fulfillment#162223
adwinwhite wants to merge 1 commit into
rust-lang:mainfrom
adwinwhite:abort-on-fulfillment-overflow

eagerly report overflow errors

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