Decision #972 — library/alloc/src/raw_vec/mod.rs:878
Status: unreached
Truth table
| row | c0 br 6287 | c1 br 6288 | outcome |
|---|
Independent-effect pairs
c0(branch6287): DEAD view gap →scry_octagon::assign_copy· br_if
inlined: lib.rs:217 ← library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823 ← library/alloc/src/raw_vec/mod.rs:425c1(branch6288): DEAD view gap →scry_octagon::assign_copy· br_if
inlined: lib.rs:217 ← library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823 ← library/alloc/src/raw_vec/mod.rs:425