Decision #1285 — library/core/src/result.rs:2177
Status: no_witness
Truth table
| row | c0 br 8637 | c1 br 8641 | c2 br 8647 | c3 br 8648 | outcome |
|---|---|---|---|---|---|
| 3268 | F | T | F | F | F |
| 10225 | F | T | F | F | F |
| 17078 | F | T | F | F | F |
Independent-effect pairs
All 4 conditions live in <wasmparser::readers::core::types::TableType as wasmparser::readers::FromReader>::from_reader — 4 br_if
c0(branch8637): GAP view gap →c1(branch8641): GAP view gap →c2(branch8647): GAP view gap →c3(branch8648): GAP view gap →