Decision #56 — library/core/src/slice/sort/stable/drift.rs:205
Status: unreached
Truth table
| row | c0 br 384 | c1 br 385 | outcome |
|---|
Independent-effect pairs
c0(branch384): DEAD view gap →core::ptr::drop_glue::<alloc::vec::Vec<scry_analyze_core::TrapCheck>>· br_ifc1(branch385): DEAD view gap →core::ptr::drop_glue::<alloc::vec::Vec<scry_analyze_core::TrapCheck>>· br_if