Decision #717 — lib.rs:68
Status: unreached
Truth table
| row | c0 br 4922 | c1 br 4923 | outcome |
|---|
Independent-effect pairs
c0(branch4922): DEAD view gap →<scry_segment::Segmentation>::leq· br_ifc1(branch4923): DEAD view gap →<scry_segment::Segmentation>::leq· br_if
inlined: lib.rs:143