Decision #108 — library/core/src/iter/range.rs:900
Status: no_witness
Truth table
| row | c0 br 641 | c1 br 642 | outcome |
|---|---|---|---|
| 103 | * | F | F |
| 104 | * | F | F |
| 7063 | * | F | F |
| 7064 | * | F | F |
| 13801 | * | F | F |
| 13802 | * | F | F |
Independent-effect pairs
c0(branch641): DEAD view gap →<core::iter::adapters::copied::Copied<alloc::collections::btree::set::Iter<usize>> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<usize, <alloc::vec::Vec<usize>>::extend_trusted<core::iter::adapters::copied::Copied<alloc::collections::btree::set::Iter<usize>>>::{closure#0}>::{closure#0}>· br_ifc1(branch642): GAP view gap →<core::iter::adapters::copied::Copied<alloc::collections::btree::set::Iter<usize>> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<usize, <alloc::vec::Vec<usize>>::extend_trusted<core::iter::adapters::copied::Copied<alloc::collections::btree::set::Iter<usize>>>::{closure#0}>::{closure#0}>· br_if