Decision #586 — library/core/src/slice/iter/macros.rs:180
Status: no_witness
Truth table
| row | c0 br 3984 | c1 br 3990 | outcome |
|---|---|---|---|
| 1361 | * | F | F |
| 1362 | * | F | F |
| 8321 | * | F | F |
| 8322 | * | F | F |
| 15122 | * | F | F |
| 15123 | * | F | F |
| 92216 | * | F | F |
| 92217 | * | F | F |
| 100045 | * | F | F |
| 100046 | * | F | F |
| 108534 | * | F | F |
| 108535 | * | F | F |
| 116560 | * | F | F |
| 116561 | * | F | F |
| 176651 | * | F | F |
| 196842 | * | F | F |
| 196843 | * | F | F |
Independent-effect pairs
c0(branch3984): DEAD view gap →<alloc::collections::btree::map::IntoIter<usize, alloc::collections::btree::set_val::SetValZST>>::dying_next· br_ifc1(branch3990): GAP view gap →<alloc::collections::btree::map::IntoIter<usize, alloc::collections::btree::set_val::SetValZST>>::dying_next· br_if