Decision #443 — library/core/src/num/int_macros.rs:2026

Status: no_witness

Truth table

rowc0 br 2956c1 br 2957c2 br 2959c3 br 2960outcome
31557**FTT
31558**FTT
31559**FTT
31560**FTT
37495**FTT
37496**FTT
37497**FTT
37498**FTT
107170**FTT
107171**FTT
107172**FTT
107173**FTT
107174**FTT
107175**FTT
126033**FTT
126034**FTT
126035**FTT
126036**FTT
126037**FTT
126038**FTT

Independent-effect pairs

All 4 conditions live in scry_octagon::widen — 4 br_if