Decision #385 — lib.rs:191
Status: unreached
Truth table
| row | c0 br 2678 | c1 br 2681 | outcome |
|---|
Independent-effect pairs
c0(branch2678): DEAD view gap →scry_provenance::take_u32· br_ifc1(branch2681): DEAD view gap →scry_provenance::take_u32· br_if