Decision #1003 — library/core/src/ptr/mod.rs:1939
Status: unreached
Truth table
| row | c0 br 6372 | c1 br 6404 | outcome |
|---|
Independent-effect pairs
c0(branch6372): DEAD view gap →scry_octagon::assign_add_const· br_ifc1(branch6404): DEAD view gap →scry_octagon::assign_add_const· br_if