Decision #379 — lib.rs:173
Status: unreached
Truth table
| row | c0 br 2674 | c1 br 2675 | outcome |
|---|
Independent-effect pairs
c0(branch2674): DEAD view gap →scry_provenance::decode· br_ifc1(branch2675): DEAD view gap →scry_provenance::decode· br_if