Decision #341 — library/core/src/iter/range.rs:900
Status: unreached
Truth table
| row | c0 br 2480 | c1 br 2481 | outcome |
|---|
Independent-effect pairs
c0(branch2480): DEAD view gap →core::slice::sort::shared::smallsort::small_sort_network· br_ifc1(branch2481): DEAD view gap →core::slice::sort::shared::smallsort::small_sort_network· br_if