Decision #32 — library/core/src/iter/range.rs:900
Status: partial
Truth table
| row | c0 br 210 | c1 br 211 | outcome |
|---|---|---|---|
| 95711 | F | F | F |
| 95712 | F | F | F |
| 110672 | F | F | F |
| 110673 | F | T | T |
| 113977 | F | T | T |
Independent-effect pairs
c0(branch210): GAP view gap →<core::iter::adapters::map::Map<core::ops::range::Range<usize>, scry_analyze_core::resolved_stack_callees::{closure#1}> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<alloc::vec::Vec<usize>, <alloc::vec::Vec<alloc::vec::Vec<usize>>>::extend_trusted<core::iter::adapters::map::Map<core::ops::range::Range<usize>, scry_analyze_core::resolved_stack_callees::{closure#1}>>::{closure#0}>::{closure#0}>· br_ifc1(branch211): PROVED — pair rows95711,110673(unique-cause)<core::iter::adapters::map::Map<core::ops::range::Range<usize>, scry_analyze_core::resolved_stack_callees::{closure#1}> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<alloc::vec::Vec<usize>, <alloc::vec::Vec<alloc::vec::Vec<usize>>>::extend_trusted<core::iter::adapters::map::Map<core::ops::range::Range<usize>, scry_analyze_core::resolved_stack_callees::{closure#1}>>::{closure#0}>::{closure#0}>· br_if