Decision #680 — library/core/src/cmp.rs:1916
Status: unreached
Truth table
| row | c0 br 4737 | c1 br 4738 | outcome |
|---|
Independent-effect pairs
c0(branch4737): DEAD view gap →<alloc::vec::Vec<scry_provenance::ComponentOrigin> as core::ops::drop::Drop>::drop· br_if
inlined: library/core/src/slice/sort/shared/smallsort.rs:488 ← library/core/src/slice/sort/shared/smallsort.rs:395 ← library/core/src/ops/function.rs:166c1(branch4738): DEAD view gap →<alloc::vec::Vec<scry_provenance::ComponentOrigin> as core::ops::drop::Drop>::drop· br_if
inlined: library/core/src/slice/sort/shared/smallsort.rs:489 ← library/core/src/slice/sort/shared/smallsort.rs:395 ← library/core/src/ops/function.rs:166