Decision #1390 — library/core/src/result.rs:2189
Status: partial
Truth table
| row | c0 br 3672 | c1 br 3673 | c2 br 3674 | c3 br 3675 | outcome |
|---|
Independent-effect pairs
All 4 conditions live in scry_analyze_core::analyze — 1 br_table_default + 3 br_table_target
c0(branch3672): PROVEDc1(branch3673): DEAD view gap →c2(branch3674): DEAD view gap →c3(branch3675): PROVED