Decision #952 — library/core/src/slice/index.rs:219
Status: partial
Truth table
| row | c0 br 614 | c1 br 615 | c2 br 616 | c3 br 617 | c4 br 618 | c5 br 619 | outcome |
|---|
Independent-effect pairs
All 6 conditions live in scry_analyze_core::run_function_body — 1 br_table_default + 5 br_table_target
c0(branch614): PROVEDc1(branch615): PROVEDc2(branch616): DEAD view gap →c3(branch617): DEAD view gap →c4(branch618): PROVEDc5(branch619): PROVED