Decision #740 — lib.rs:90
Status: unreached
Truth table
| row | c0 br 5044 | c1 br 5045 | outcome |
|---|
Independent-effect pairs
c0(branch5044): DEAD view gap →scry_octagon::assign_copy· br_ifc1(branch5045): DEAD view gap →scry_octagon::assign_copy· br_if