Decision #834 — library/core/src/cmp.rs:1916
Status: unreached
Truth table
| row | c0 br 5635 | c1 br 5636 | outcome |
|---|
Independent-effect pairs
c0(branch5635): DEAD view gap →core::ptr::drop_glue::<alloc::vec::Vec<scry_provenance::ComponentOrigin>>· br_if
inlined: lib.rs:323 ← library/core/src/iter/range.rs:985 ← library/core/src/iter/range.rs:900c1(branch5636): DEAD view gap →core::ptr::drop_glue::<alloc::vec::Vec<scry_provenance::ComponentOrigin>>· br_if
inlined: lib.rs:323 ← library/core/src/iter/range.rs:985 ← library/core/src/iter/range.rs:900