Decision #846 — library/core/src/mem/mod.rs:825
Status: unreached
Truth table
| row | c0 br 5694 | c1 br 5695 | outcome |
|---|
Independent-effect pairs
c0(branch5694): 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(branch5695): 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