Decision #711 — binary_reader.rs:842
Status: unreached
Truth table
| row | c0 br 5128 | c1 br 5129 | outcome |
|---|
Independent-effect pairs
c0(branch5128): DEAD view gap →alloc::vec::Vec<T,A>::extend_desugared· br_ifc1(branch5129): DEAD view gap →alloc::vec::Vec<T,A>::extend_desugared· br_if