Decision #1308 — names.rs:148
Status: no_witness
Truth table
| row | c0 br 8798 | c1 br 8806 | outcome |
|---|---|---|---|
| 182042 | F | * | F |
| 185358 | F | * | F |
| 188469 | F | * | F |
Independent-effect pairs
c0(branch8798): GAP view gap →<wasmparser::readers::core::types::MemoryType as wasmparser::readers::FromReader>::from_reader· br_ifc1(branch8806): DEAD view gap →<wasmparser::readers::core::types::MemoryType as wasmparser::readers::FromReader>::from_reader· br_if