Decision #309 — library/core/src/num/uint_macros.rs:703
Status: unreached
Truth table
| row | c0 br 1693 | c1 br 1694 | outcome |
|---|
Independent-effect pairs
c0(branch1693): DEAD view gap →scry_analyze_core::i32_shiftop· br_ifc1(branch1694): DEAD view gap →scry_analyze_core::i32_shiftop· br_if