Decision #1098 — library/core/src/option.rs:2775
Status: no_witness
Truth table
| row | c0 br 7685 | c1 br 7686 | outcome |
|---|---|---|---|
| 2201 | F | T | T |
| 2202 | F | T | T |
| 5992 | F | T | T |
| 5993 | F | T | T |
| 9773 | F | T | T |
| 9774 | F | T | T |
| 12483 | F | T | T |
| 13857 | F | T | T |
| 15184 | F | T | T |
| 22619 | F | T | T |
| 32097 | F | T | T |
| 38416 | F | T | T |
| 44629 | F | T | T |
| 49309 | F | T | T |
| 49310 | F | T | T |
| 53510 | F | T | T |
| 53511 | F | T | T |
| 58040 | F | T | T |
| 58041 | F | T | T |
| 62233 | F | T | T |
| 62234 | F | T | T |
| 72739 | F | T | T |
| 84252 | F | T | T |
| 89841 | F | T | T |
| 94109 | F | T | T |
| 96811 | F | T | T |
| 98567 | F | T | T |
| 100082 | F | T | T |
| 101500 | F | T | T |
| 103589 | F | T | T |
| 107315 | F | T | T |
| 109762 | F | T | T |
| 112795 | F | T | T |
| 115664 | F | T | T |
| 135455 | F | T | T |
| 158391 | F | T | T |
| 163808 | F | T | T |
| 165389 | F | T | T |
| 167109 | F | T | T |
Independent-effect pairs
c0(branch7685): GAP view gap →<wasmparser::readers::core::types::SubType as wasmparser::readers::FromReader>::from_reader· br_if
inlined: readers.rs:237c1(branch7686): GAP view gap →<wasmparser::readers::core::types::SubType as wasmparser::readers::FromReader>::from_reader· br_if
inlined: readers.rs:237