Decision #681 — library/core/src/option.rs:765
Status: no_witness
Truth table
| row | c0 br 4507 | c1 br 4508 | outcome |
|---|---|---|---|
| 191374 | F | F | T |
| 197102 | F | F | T |
| 203435 | F | F | T |
| 208446 | F | F | T |
| 208447 | F | F | T |
| 216004 | F | F | T |
Independent-effect pairs
c0(branch4507): GAP view gap →scry_analyze_core::analyze· br_if
inlined: lib.rs:1789 ← library/core/src/iter/adapters/map.rs:107 ← library/core/src/iter/adapters/flatten.rs:64 ← library/core/src/iter/adapters/flatten.rs:523 ← library/core/src/iter/adapters/flatten.rs:756c1(branch4508): GAP view gap →scry_analyze_core::analyze· br_if
inlined: lib.rs:1789 ← library/core/src/iter/adapters/map.rs:107 ← library/core/src/iter/adapters/flatten.rs:64 ← library/core/src/iter/adapters/flatten.rs:523 ← library/core/src/iter/adapters/flatten.rs:756