Decision #1679 — types.rs:1291
Status: partial
Truth table
| row | c0 br 7832 | c1 br 7833 | c2 br 7834 | c3 br 7835 | c4 br 7836 | c5 br 7837 | outcome |
|---|
Independent-effect pairs
All 6 conditions live in <wasmparser::readers::core::types::ValType as wasmparser::readers::FromReader>::from_reader — 1 br_table_default + 5 br_table_target
c0(branch7832): DEAD view gap →c1(branch7833): DEAD view gap →c2(branch7834): DEAD view gap →c3(branch7835): DEAD view gap →c4(branch7836): PROVEDc5(branch7837): DEAD view gap →