Decision #715 — binary_reader.rs:337
Status: unreached
Truth table
| row | c0 br 5136 | c1 br 5137 | outcome |
|---|
Independent-effect pairs
c0(branch5136): DEAD view gap →<alloc::vec::Vec<T> as alloc::vec::spec_from_iter_nested::SpecFromIterNested<T,I>>::from_iter· br_if
inlined: types.rs:2165c1(branch5137): DEAD view gap →<alloc::vec::Vec<T> as alloc::vec::spec_from_iter_nested::SpecFromIterNested<T,I>>::from_iter· br_if
inlined: types.rs:2165