Decision #957 — lib.rs:96
Status: unreached
Truth table
| row | c0 br 6236 | c1 br 6240 | outcome |
|---|
Independent-effect pairs
c0(branch6236): DEAD view gap →<scry_poly::Poly>::project· br_ifc1(branch6240): DEAD view gap →<scry_poly::Poly>::project· br_if