Decision #214 — library/core/src/slice/sort/shared/mod.rs:36
Status: unreached
Truth table
| row | c0 br 1150 | c1 br 1151 | c2 br 1153 | outcome |
|---|
Independent-effect pairs
All 3 conditions live in core::slice::sort::stable::quicksort::quicksort::<scry_analyze_core::PentagonFact, <[scry_analyze_core::PentagonFact]>::sort_by_key<(u32, u32), scry_analyze_core::compute_pentagon_facts::{closure#0}>::{closure#0}> — 3 br_if
c0(branch1150): DEAD view gap →c1(branch1151): DEAD view gap →c2(branch1153): DEAD view gap →