Decision #713 — library/core/src/iter/traits/iterator.rs:2558
Status: unreached
Truth table
| row | c0 br 5124 | c1 br 5125 | outcome |
|---|
Independent-effect pairs
c0(branch5124): DEAD view gap →alloc::vec::Vec<T,A>::extend_desugared· br_ifc1(branch5125): DEAD view gap →alloc::vec::Vec<T,A>::extend_desugared· br_if