Decision #857 — library/alloc/src/vec/mod.rs:2746
Status: unreached
Truth table
| row | c0 br 5760 | c1 br 5761 | c2 br 5765 | outcome |
|---|
Independent-effect pairs
All 3 conditions live in core::slice::sort::shared::smallsort::small_sort_network::<i64, <i64 as core::cmp::PartialOrd>::lt> — 3 br_if
c0(branch5760): DEAD view gap →c1(branch5761): DEAD view gap →c2(branch5765): DEAD view gap →