Decision #714 — types.rs:2159
Status: unreached
Truth table
| row | c0 br 5130 | c1 br 5134 | outcome |
|---|
Independent-effect pairs
c0(branch5130): DEAD view gap →alloc::vec::Vec<T,A>::extend_desugared· br_ifc1(branch5134): DEAD view gap →alloc::vec::Vec<T,A>::extend_desugared· br_if