Decision #367 — library/core/src/slice/sort/unstable/quicksort.rs:325
Status: unreached
Truth table
| row | c0 br 2590 | c1 br 2591 | c2 br 2592 | c3 br 2593 | outcome |
|---|
Independent-effect pairs
All 4 conditions live in core::slice::sort::stable::merge::merge — 4 br_if
c0(branch2590): DEAD view gap →c1(branch2591): DEAD view gap →c2(branch2592): DEAD view gap →c3(branch2593): DEAD view gap →