Decision #110 — library/core/src/ptr/mod.rs:1939
Status: no_witness
Truth table
| row | c0 br 646 | c1 br 647 | outcome |
|---|---|---|---|
| 112 | F | F | T |
| 113 | F | F | T |
| 7072 | F | F | T |
| 7073 | F | F | T |
| 13810 | F | F | T |
| 13811 | F | F | T |
Independent-effect pairs
c0(branch646): 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/alloc/src/vec/mod.rs:3678c1(branch647): 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/alloc/src/vec/mod.rs:3678