Decision #1000 — library/alloc/src/vec/mod.rs:3676
Status: unreached
Truth table
| row | c0 br 6376 | c1 br 6377 | outcome |
|---|
Independent-effect pairs
c0(branch6376): DEAD view gap →scry_octagon::assign_add_const· br_ifc1(branch6377): DEAD view gap →scry_octagon::assign_add_const· br_if