Decision #348 — library/core/src/slice/sort/shared/mod.rs:36
Status: unreached
Truth table
| row | c0 br 2503 | c1 br 2504 | outcome |
|---|
Independent-effect pairs
c0(branch2503): DEAD view gap →core::slice::sort::shared::smallsort::small_sort_general_with_scratch· br_ifc1(branch2504): DEAD view gap →core::slice::sort::shared::smallsort::small_sort_general_with_scratch· br_if