Decision #585 — library/core/src/ptr/mod.rs:1939
Status: no_witness
Truth table
| row | c0 br 3983 | c1 br 3986 | c2 br 3995 | outcome |
|---|---|---|---|---|
| 1359 | F | * | * | T |
| 1360 | F | * | * | T |
| 8319 | F | * | * | T |
| 8320 | F | * | * | T |
| 15120 | F | * | * | T |
| 15121 | F | * | * | T |
| 92214 | F | * | * | T |
| 92215 | F | * | * | T |
| 100043 | F | * | * | T |
| 100044 | F | * | * | T |
| 108532 | F | * | * | T |
| 108533 | F | * | * | T |
| 116558 | F | * | * | T |
| 116559 | F | * | * | T |
| 176650 | F | * | * | T |
| 196840 | F | * | * | T |
| 196841 | F | * | * | T |
Independent-effect pairs
c0(branch3983): GAP view gap →<alloc::collections::btree::map::IntoIter<usize, alloc::collections::btree::set_val::SetValZST>>::dying_next· br_if
inlined: lib.rs:6194 ← library/alloc/src/vec/mod.rs:1002 ← library/alloc/src/vec/mod.rs:1043c1(branch3986): DEAD view gap →<alloc::collections::btree::map::IntoIter<usize, alloc::collections::btree::set_val::SetValZST>>::dying_next· br_if
inlined: lib.rs:6207 ← library/alloc/src/vec/mod.rs:1002 ← library/alloc/src/vec/mod.rs:1043c2(branch3995): 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:3678