Decision #453 — types.rs:1896
Status: unreached
Truth table
| row | c0 br 3061 | c1 br 3062 | c2 br 3063 | c3 br 3064 | outcome |
|---|
Independent-effect pairs
All 4 conditions live in <alloc::vec::Vec<T> as alloc::vec::spec_from_iter_nested::SpecFromIterNested<T,I>>::from_iter — 4 br_if
c0(branch3061): DEAD view gap →c1(branch3062): DEAD view gap →c2(branch3063): DEAD view gap →c3(branch3064): DEAD view gap →