Decision #1709 — names.rs:146
Status: partial
Truth table
| row | c0 br 8772 | c1 br 8773 | c2 br 8774 | c3 br 8775 | outcome |
|---|
Independent-effect pairs
All 4 conditions live in <wasmparser::readers::core::types::RefType as wasmparser::readers::FromReader>::from_reader — 1 br_table_default + 3 br_table_target
c0(branch8772): PROVEDc1(branch8773): DEAD view gap →c2(branch8774): DEAD view gap →c3(branch8775): DEAD view gap →