Decision #98 — library/core/src/option.rs:1336
Status: no_witness
Truth table
| row | c0 br 575 | c1 br 576 | outcome |
|---|---|---|---|
| 222136 | F | F | T |
| 222137 | F | T | T |
| 222138 | * | F | T |
| 222139 | F | T | T |
| 222140 | * | F | T |
| 222141 | F | T | T |
| 222142 | * | F | T |
| 222143 | * | T | T |
| 299513 | F | F | T |
| 299514 | F | T | T |
| 299515 | * | F | T |
| 299516 | F | T | T |
| 299517 | * | F | T |
| 299518 | F | T | T |
| 299519 | * | F | T |
| 299520 | * | T | T |
Independent-effect pairs
c0(branch575): GAP view gap →<alloc::vec::Vec<scry_analyze_core::LinearTerm> as alloc::vec::spec_from_iter_nested::SpecFromIterNested<scry_analyze_core::LinearTerm, core::iter::adapters::map::Map<core::iter::adapters::filter::Filter<core::iter::adapters::enumerate::Enumerate<core::slice::iter::Iter<i64>>, scry_analyze_core::snapshot_linear::{closure#1}::{closure#0}>, scry_analyze_core::snapshot_linear::{closure#1}::{closure#1}>>>::from_iter· br_if
inlined: library/alloc/src/collections/btree/navigate.rs:534 ← library/alloc/src/collections/btree/navigate.rs:390 ← library/alloc/src/collections/btree/node.rs:345c1(branch576): GAP view gap →<alloc::vec::Vec<scry_analyze_core::LinearTerm> as alloc::vec::spec_from_iter_nested::SpecFromIterNested<scry_analyze_core::LinearTerm, core::iter::adapters::map::Map<core::iter::adapters::filter::Filter<core::iter::adapters::enumerate::Enumerate<core::slice::iter::Iter<i64>>, scry_analyze_core::snapshot_linear::{closure#1}::{closure#0}>, scry_analyze_core::snapshot_linear::{closure#1}::{closure#1}>>>::from_iter· br_if
inlined: library/alloc/src/collections/btree/navigate.rs:534 ← library/alloc/src/collections/btree/navigate.rs:390 ← library/alloc/src/collections/btree/node.rs:345