Decision #405 — lib.rs:4664
Status: unreached
Truth table
| row | c0 br 2887 | c1 br 2888 | outcome |
|---|
Independent-effect pairs
c0(branch2887): DEAD view gap →<scry_analyze_core::Interp>::seq· br_ifc1(branch2888): DEAD view gap →<scry_analyze_core::Interp>::seq· br_if