Decision #717 — types.rs:2188
Status: unreached
Truth table
| row | c0 br 5151 | c1 br 5152 | outcome |
|---|
Independent-effect pairs
c0(branch5151): DEAD view gap →alloc::vec::Vec<T,A>::extend_desugared· br_ifc1(branch5152): DEAD view gap →alloc::vec::Vec<T,A>::extend_desugared· br_if