Decision #847 — library/core/src/slice/mod.rs:1017
Status: unreached
Truth table
| row | c0 br 5692 | c1 br 5693 | outcome |
|---|
Independent-effect pairs
c0(branch5692): DEAD view gap →<alloc::vec::Vec<scry_provenance::ComponentOrigin>>::with_capacity· br_if
inlined: library/core/src/slice/sort/unstable/mod.rs:126 ← library/core/src/slice/mod.rs:1001c1(branch5693): DEAD view gap →<alloc::vec::Vec<scry_provenance::ComponentOrigin>>::with_capacity· br_if
inlined: library/core/src/slice/sort/unstable/mod.rs:126 ← library/core/src/slice/mod.rs:1001