Decision #764 — library/core/src/result.rs:1718
Status: no_witness
Truth table
| row | c0 br 5427 | c1 br 5436 | c2 br 5446 | c3 br 5453 | outcome |
|---|---|---|---|---|---|
| 1903 | T | F | * | T | T |
| 4940 | T | F | * | T | T |
| 7943 | T | F | * | T | T |
Independent-effect pairs
All 4 conditions live in <wasmparser::readers::core::elements::Element as wasmparser::readers::FromReader>::from_reader — 4 br_if
c0(branch5427): GAP view gap →c1(branch5436): GAP view gap →c2(branch5446): DEAD view gap →c3(branch5453): GAP view gap →