Decision #342 — library/core/src/slice/iter/macros.rs:180
Status: unreached
Truth table
| row | c0 br 2072 | c1 br 2073 | c2 br 2086 | c3 br 2087 | outcome |
|---|
Independent-effect pairs
All 4 conditions live in scry_analyze_core::refine_poly_rel — 4 br_if
c0(branch2072): DEAD view gap →c1(branch2073): DEAD view gap →c2(branch2086): DEAD view gap →c3(branch2087): DEAD view gap →