Decision #959 — library/core/src/result.rs:2173
Status: unreached
Truth table
| row | c0 br 994 | c1 br 995 | c2 br 996 | outcome |
|---|
Independent-effect pairs
All 3 conditions live in scry_analyze_core::Interp::seq — 1 br_table_default + 2 br_table_target
c0(branch994): DEAD view gap →c1(branch995): DEAD view gap →c2(branch996): DEAD view gap →