Decision #894 — library/core/src/iter/adapters/filter.rs:79
Status: unreached
Truth table
| row | c0 br 5913 | c1 br 5918 | c2 br 5919 | outcome |
|---|
Independent-effect pairs
All 3 conditions live in <scry_segment::Segmentation>::join — 3 br_if
c0(branch5913): DEAD view gap →c1(branch5918): DEAD view gap →c2(branch5919): DEAD view gap →