Decision #584 — binary_reader.rs:93
Status: unreached
Truth table
| row | c0 br 4426 | c1 br 4427 | outcome |
|---|
Independent-effect pairs
c0(branch4426): DEAD view gap →alloc::vec::Vec<T,A>::reserve_exact· br_ifc1(branch4427): DEAD view gap →alloc::vec::Vec<T,A>::reserve_exact· br_if