Skip to content

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

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
adwinwhite:abort-on-fulfillment-overflow
Sep 11, 2026
Merged

-Znext-solver : Abort on the first overflowed obligation in fulfillment#162223
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
adwinwhite:abort-on-fulfillment-overflow

eagerly report overflow errors

96536dd
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Calculate job matrix
succeeded Sep 11, 2026 in 41s