Decision #400 — library/core/src/num/int_macros.rs:2026
Status: unreached
Truth table
| row | c0 br 2756 | c1 br 2757 | outcome |
|---|
Independent-effect pairs
c0(branch2756): DEAD view gap →scry_octagon::assign_copy· br_ifc1(branch2757): DEAD view gap →scry_octagon::assign_copy· br_if