Decision #945 — src/hex.rs:64
Status: partial
Truth table
| row | c0 br 171 | c1 br 172 | c2 br 173 | outcome |
|---|
Independent-effect pairs
All 3 conditions live in alloc::vec::Vec<T,A>::extend_trusted — 1 br_table_default + 2 br_table_target
c0(branch171): PROVEDc1(branch172): DEAD view gap →c2(branch173): DEAD view gap →