Decision #49 — library/alloc/src/raw_vec/mod.rs:424
Status: no_witness
Truth table
| row | c0 br 323 | c1 br 326 | c2 br 334 | c3 br 343 | c4 br 345 | outcome |
|---|---|---|---|---|---|---|
| 40 | F | * | F | * | * | F |
| 41 | F | * | T | F | * | F |
| 42 | * | * | T | F | * | F |
| 43 | * | * | F | * | * | F |
| 3834 | F | * | F | * | * | F |
| 3835 | F | * | T | F | * | F |
| 3836 | * | * | T | F | * | F |
| 3837 | * | * | F | * | * | F |
| 7517 | F | * | F | * | * | F |
| 7518 | F | * | T | F | * | F |
| 7519 | * | * | T | F | * | F |
| 7520 | * | * | F | * | * | F |
| 47120 | F | * | F | * | * | F |
| 47121 | F | * | F | * | * | F |
| 51248 | F | * | F | * | * | F |
| 51249 | F | * | F | * | * | F |
| 55786 | F | * | F | * | * | F |
| 55787 | F | * | F | * | * | F |
| 60044 | F | * | F | * | * | F |
| 60045 | F | * | F | * | * | F |
| 95719 | F | * | F | * | * | F |
| 104790 | F | * | F | * | * | F |
| 104791 | F | * | F | * | * | F |
Independent-effect pairs
c0(branch323): 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:825 ← library/alloc/src/vec/mod.rs:4285 ← library/core/src/ptr/mod.rs:820 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825c1(branch326): 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_if
inlined: library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825c2(branch334): 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:825 ← library/core/src/ptr/mod.rs:825c3(branch343): 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:825 ← library/core/src/ptr/mod.rs:825c4(branch345): 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_if
inlined: library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825