Decision #652 — lib.rs:307
Status: unreached
Truth table
| row | c0 br 4608 | c1 br 4609 | outcome |
|---|
Independent-effect pairs
c0(branch4608): DEAD view gap →<scry_pentagon::Pentagon>::set_interval· br_ifc1(branch4609): DEAD view gap →<scry_pentagon::Pentagon>::set_interval· br_if