Decision #1597 — library/core/src/slice/sort/stable/drift.rs:87
Status: partial
Truth table
| row | c0 br 682 | c1 br 683 | c2 br 684 | c3 br 685 | outcome |
|---|
Independent-effect pairs
All 4 conditions live in core::ptr::drop_glue::<wasmparser::readers::core::operators::Operator> — 1 br_table_default + 3 br_table_target
c0(branch682): DEAD view gap →c1(branch683): DEAD view gap →c2(branch684): DEAD view gap →c3(branch685): PROVED