Decision #696 — types.rs:1820
Status: no_witness
Truth table
| row | c0 br 4980 | c1 br 4986 | c2 br 4993 | c3 br 4994 | outcome |
|---|---|---|---|---|---|
| 1371 | F | T | * | T | T |
| 1372 | F | T | * | T | T |
| 4411 | F | T | * | T | T |
| 4412 | F | T | * | T | T |
| 7360 | F | T | * | T | T |
| 7361 | F | T | * | T | T |
| 9913 | F | T | * | T | T |
| 11061 | F | T | * | T | T |
| 12152 | F | T | * | T | T |
| 18297 | F | T | * | T | T |
| 26015 | F | T | * | T | T |
| 31741 | F | T | * | T | T |
| 37679 | F | T | * | T | T |
| 41314 | F | T | * | T | T |
| 41315 | F | T | * | T | T |
| 44327 | F | T | * | T | T |
| 44328 | F | T | * | T | T |
| 47779 | F | T | * | T | T |
| 47780 | F | T | * | T | T |
| 50854 | F | T | * | T | T |
| 50855 | F | T | * | T | T |
| 59756 | F | T | * | T | T |
| 69528 | F | T | * | T | T |
| 73795 | F | T | * | T | T |
| 77270 | F | T | * | T | T |
| 79734 | F | * | * | * | T |
| 81138 | F | T | * | T | T |
| 82325 | F | T | * | T | T |
| 83387 | F | T | * | T | T |
| 84673 | F | T | * | T | T |
| 86551 | F | T | * | T | T |
| 88004 | F | T | * | T | T |
| 89876 | F | T | * | T | T |
| 91407 | F | T | * | T | T |
| 107424 | F | T | * | T | T |
| 126287 | F | T | * | T | T |
| 130316 | F | T | * | T | T |
| 131491 | F | T | * | T | T |
| 132818 | F | T | * | T | T |
Independent-effect pairs
c0(branch4980): GAP view gap →<wasmparser::readers::core::types::FuncType as wasmparser::readers::FromReader>::from_reader· br_ifc1(branch4986): GAP view gap →<wasmparser::readers::core::types::FuncType as wasmparser::readers::FromReader>::from_reader· br_ifc2(branch4993): DEAD view gap →<wasmparser::readers::core::types::FuncType as wasmparser::readers::FromReader>::from_reader· br_ifc3(branch4994): GAP view gap →<wasmparser::readers::core::types::FuncType as wasmparser::readers::FromReader>::from_reader· br_if
inlined: library/core/src/option.rs:1369