Decision #343 — library/core/src/slice/index.rs:101
Status: unreached
Truth table
| row | c0 br 2492 | c1 br 2493 | outcome |
|---|
Independent-effect pairs
c0(branch2492): DEAD view gap →core::slice::sort::shared::smallsort::small_sort_network· br_if
inlined: library/core/src/slice/sort/stable/drift.rs:209 ← library/core/src/slice/index.rs:31 ← library/core/src/slice/index.rs:586c1(branch2493): DEAD view gap →core::slice::sort::shared::smallsort::small_sort_network· br_if
inlined: library/core/src/slice/sort/stable/drift.rs:209 ← library/core/src/slice/index.rs:31 ← library/core/src/slice/index.rs:586