Decision #584 — library/alloc/src/raw_vec/mod.rs:435
Status: no_witness
Truth table
| row | c0 br 3989 | c1 br 3992 | c2 br 3993 | c3 br 3994 | outcome |
|---|---|---|---|---|---|
| 1354 | T | * | * | * | T |
| 1355 | T | * | * | * | T |
| 1356 | T | F | F | * | T |
| 1357 | F | F | F | * | T |
| 1358 | F | * | * | * | T |
| 8314 | T | * | * | * | T |
| 8315 | T | * | * | * | T |
| 8316 | T | F | F | * | T |
| 8317 | F | F | F | * | T |
| 8318 | F | * | * | * | T |
| 15115 | T | * | * | * | T |
| 15116 | T | * | * | * | T |
| 15117 | T | F | F | * | T |
| 15118 | F | F | F | * | T |
| 15119 | F | * | * | * | T |
| 21756 | T | * | * | * | T |
| 24499 | T | * | * | * | T |
| 27142 | T | * | * | * | T |
| 30804 | T | * | * | * | T |
| 51659 | T | * | * | * | T |
| 72585 | T | * | * | * | T |
| 82468 | T | * | * | * | T |
| 92211 | T | F | F | * | T |
| 92212 | F | F | F | * | T |
| 92213 | F | * | * | * | T |
| 100040 | T | F | F | * | T |
| 100041 | F | F | F | * | T |
| 100042 | F | * | * | * | T |
| 108529 | T | F | F | * | T |
| 108530 | F | F | F | * | T |
| 108531 | F | * | * | * | T |
| 116555 | T | F | F | * | T |
| 116556 | F | F | F | * | T |
| 116557 | F | * | * | * | T |
| 124544 | T | * | * | * | T |
| 141263 | T | * | * | * | T |
| 158664 | T | * | * | * | T |
| 158665 | T | * | * | * | T |
| 158666 | T | * | * | * | T |
| 158667 | T | * | * | * | T |
| 158668 | T | * | * | * | T |
| 158669 | T | * | * | * | T |
| 168522 | T | * | * | * | T |
| 168523 | T | * | * | * | T |
| 168524 | T | * | * | * | T |
| 168525 | T | * | * | * | T |
| 168526 | T | * | * | * | T |
| 168527 | T | * | * | * | T |
| 176647 | F | F | F | * | T |
| 176648 | T | * | * | * | T |
| 176649 | T | * | * | * | T |
| 181253 | T | * | * | * | T |
| 184572 | T | * | * | * | T |
| 187680 | T | * | * | * | T |
| 191267 | T | * | * | * | T |
| 196837 | T | F | F | * | T |
| 196838 | F | F | F | * | T |
| 196839 | F | * | * | * | T |
| 203348 | T | * | * | * | T |
| 208188 | T | * | * | * | T |
| 208189 | T | * | * | * | T |
| 215839 | T | * | * | * | T |
| 224276 | T | * | * | * | T |
| 301653 | T | * | * | * | T |
| 377125 | T | * | * | * | T |
| 379782 | T | * | * | * | T |
| 382666 | T | * | * | * | T |
Independent-effect pairs
All 4 conditions live in <alloc::collections::btree::map::IntoIter<usize, alloc::collections::btree::set_val::SetValZST>>::dying_next — 4 br_if
c0(branch3989): GAP view gap →c1(branch3992): GAP view gap →c2(branch3993): GAP view gap →c3(branch3994): DEAD view gap →