Decision #1334 — library/core/src/option.rs:2873
Status: no_witness
Truth table
| row | c0 br 8939 | c1 br 8940 | c2 br 8944 | outcome |
|---|---|---|---|---|
| 3278 | F | T | * | T |
| 3279 | F | T | * | T |
| 10235 | F | T | * | T |
| 10236 | F | T | * | T |
| 17088 | F | T | * | T |
| 17089 | F | T | * | T |
| 22536 | F | T | * | T |
| 25276 | F | T | * | T |
| 27922 | F | T | * | T |
| 39519 | F | T | * | T |
| 60371 | F | T | * | T |
| 75980 | F | T | * | T |
| 85863 | F | T | * | T |
| 94192 | F | T | * | T |
| 94193 | F | T | * | T |
| 102053 | F | T | * | T |
| 102054 | F | T | * | T |
| 110534 | F | T | * | T |
| 110535 | F | T | * | T |
| 118536 | F | T | * | T |
| 118537 | F | T | * | T |
| 132908 | F | T | * | T |
| 149627 | F | T | * | T |
| 161019 | F | T | * | T |
| 170877 | F | T | * | T |
| 177634 | F | T | * | T |
| 182046 | F | T | * | T |
| 185362 | F | T | * | T |
| 188473 | F | T | * | T |
| 192630 | F | T | * | T |
| 199116 | F | T | * | T |
| 204419 | F | T | * | T |
| 210039 | F | T | * | T |
| 217510 | F | T | * | T |
| 253509 | F | T | * | T |
| 330886 | F | T | * | T |
| 377937 | F | T | * | T |
| 380604 | F | T | * | T |
| 383485 | F | T | * | T |
Independent-effect pairs
c0(branch8939): GAP view gap →<wasmparser::readers::core::types::SubType as wasmparser::readers::FromReader>::from_reader· br_if
inlined: readers.rs:237c1(branch8940): GAP view gap →<wasmparser::readers::core::types::SubType as wasmparser::readers::FromReader>::from_reader· br_if
inlined: readers.rs:237c2(branch8944): DEAD view gap →<wasmparser::readers::core::types::SubType as wasmparser::readers::FromReader>::from_reader· br_if
inlined: imports.rs:280