Decision #682 — library/core/src/option.rs:1163
Status: no_witness
Truth table
| row | c0 br 4510 | c1 br 4511 | c2 br 4512 | outcome |
|---|---|---|---|---|
| 1647 | F | F | T | T |
| 8607 | F | F | T | T |
| 15408 | F | F | T | T |
Independent-effect pairs
c0(branch4510): 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:526 ← library/core/src/iter/adapters/fuse.rs:50 ← library/core/src/iter/adapters/fuse.rs:301 ← library/core/src/iter/adapters/fuse.rs:469 ← library/core/src/ops/function.rs:250 ← library/core/src/iter/adapters/map.rs:107c1(branch4511): 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:526 ← library/core/src/iter/adapters/fuse.rs:50 ← library/core/src/iter/adapters/fuse.rs:301 ← library/core/src/iter/adapters/fuse.rs:469 ← library/core/src/ops/function.rs:250 ← library/core/src/iter/adapters/map.rs:107c2(branch4512): 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:526 ← library/core/src/iter/adapters/fuse.rs:50 ← library/core/src/iter/adapters/fuse.rs:301 ← library/core/src/iter/adapters/fuse.rs:469 ← library/core/src/ops/function.rs:250 ← library/core/src/iter/adapters/map.rs:107