Decision #401 — library/core/src/ptr/mod.rs:552
Status: unreached
Truth table
| row | c0 br 2751 | c1 br 2773 | outcome |
|---|
Independent-effect pairs
c0(branch2751): DEAD view gap →scry_octagon::assign_copy· br_ifc1(branch2773): DEAD view gap →scry_octagon::assign_copy· br_if
inlined: library/alloc/src/slice.rs:454 ← library/core/src/ptr/const_ptr.rs:1252