Decision #448 — library/alloc/src/vec/spec_from_iter_nested.rs:36
Status: unreached
Truth table
| row | c0 br 2997 | c1 br 2998 | c2 br 2999 | outcome |
|---|
Independent-effect pairs
All 3 conditions live in alloc::fmt::format — 3 br_if
c0(branch2997): DEAD view gap →c1(branch2998): DEAD view gap →c2(branch2999): DEAD view gap →