Revert #104269 (to avoid spurious hang/test failure in CI)#104959

Merged

bors merged 3 commits intorust-lang:masterfrom

compiler-errors:revert-104269

Nov 29, 2022

Commits on Nov 26, 2022

Revert "Add fatal overflow test"
compiler-errors
committed
Revert "Drive-by: Don't manually call evaluate_obligation_no_overflow"
compiler-errors
committed
Revert "Do not need to account for overflow in predicate_can_apply"
compiler-errors
committed