Decision #344 — library/core/src/slice/sort/stable/drift.rs:57
Status: unreached
Truth table
| row | c0 br 2487 | c1 br 2488 | c2 br 2489 | outcome |
|---|
Independent-effect pairs
All 3 conditions live in core::slice::sort::shared::smallsort::small_sort_network — 3 br_if
c0(branch2487): DEAD view gap →c1(branch2488): DEAD view gap →c2(branch2489): DEAD view gap →