Decision #1259 — library/core/src/result.rs:2178
Status: no_witness
Truth table
| row | c0 br 8491 | c1 br 8494 | outcome |
|---|---|---|---|
| 2720 | F | * | F |
| 9677 | F | * | F |
| 16498 | F | * | F |
Independent-effect pairs
c0(branch8491): GAP view gap →<wasmparser::binary_reader::BinaryReader>::read_var_s33· br_ifc1(branch8494): DEAD view gap →<wasmparser::binary_reader::BinaryReader>::read_var_s33· br_if