Decision #712 — library/alloc/src/vec/mod.rs:3995
Status: unreached
Truth table
| row | c0 br 5126 | c1 br 5127 | outcome |
|---|
Independent-effect pairs
c0(branch5126): DEAD view gap →alloc::vec::Vec<T,A>::extend_desugared· br_ifc1(branch5127): DEAD view gap →alloc::vec::Vec<T,A>::extend_desugared· br_if