Decision #107 — library/alloc/src/raw_vec/mod.rs:425
Status: no_witness
Truth table
| row | c0 br 624 | c1 br 652 | outcome |
|---|---|---|---|
| 101 | F | F | F |
| 102 | F | F | F |
| 7061 | F | F | F |
| 7062 | F | F | F |
| 13799 | F | F | F |
| 13800 | F | F | F |
| 90738 | F | F | F |
| 90739 | F | F | F |
| 98512 | F | F | F |
| 98513 | F | F | F |
| 107006 | F | F | F |
| 107007 | F | F | F |
| 115082 | F | F | F |
| 115083 | F | F | F |
| 175981 | F | F | F |
| 194860 | F | F | F |
| 194861 | F | F | F |
Independent-effect pairs
c0(branch624): 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
inlined: library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823c1(branch652): 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