Decision #470 — library/core/src/ptr/mod.rs:1933
Status: no_witness
Truth table
| row | c0 br 3213 | c1 br 3223 | outcome |
|---|---|---|---|
| 627 | F | * | T |
| 628 | F | * | T |
| 4421 | F | * | T |
| 4422 | F | * | T |
| 8151 | F | * | T |
| 8152 | F | * | T |
| 47815 | F | * | T |
| 47816 | F | * | T |
| 51984 | F | * | T |
| 51985 | F | * | T |
| 56522 | F | * | T |
| 56523 | F | * | T |
| 60739 | F | * | T |
| 60740 | F | * | T |
| 96020 | F | * | T |
| 105659 | F | * | T |
| 105660 | F | * | T |
Independent-effect pairs
c0(branch3213): GAP view gap →<alloc::collections::btree::map::IntoIter<usize, alloc::collections::btree::set_val::SetValZST>>::dying_next· br_if
inlined: lib.rs:4444 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1045c1(branch3223): DEAD view gap →<alloc::collections::btree::map::IntoIter<usize, alloc::collections::btree::set_val::SetValZST>>::dying_next· br_if
inlined: library/alloc/src/vec/spec_from_elem.rs:15 ← library/alloc/src/vec/mod.rs:3668