Decision #325 — library/core/src/slice/iter/macros.rs:284
Status: no_witness
Truth table
| row | c0 br 2372 | c1 br 2373 | c2 br 2374 | outcome |
|---|---|---|---|---|
| 980 | F | F | F | T |
| 981 | F | F | F | T |
| 982 | F | F | F | T |
| 983 | F | F | F | T |
| 984 | F | F | F | T |
| 4020 | F | F | F | T |
| 4021 | F | F | F | T |
| 4022 | F | F | F | T |
| 4023 | F | F | F | T |
| 4024 | F | F | F | T |
| 6969 | F | F | F | T |
| 6970 | F | F | F | T |
| 6971 | F | F | F | T |
| 6972 | F | F | F | T |
| 6973 | F | F | F | T |
| 9736 | F | F | F | T |
| 10884 | F | F | F | T |
| 11975 | F | F | F | T |
| 13772 | F | F | F | T |
| 21490 | F | F | F | T |
| 29499 | F | F | F | T |
| 35437 | F | F | F | T |
| 40987 | F | F | F | T |
| 40988 | F | F | F | T |
| 40989 | F | F | F | T |
| 44000 | F | F | F | T |
| 44001 | F | F | F | T |
| 44002 | F | F | F | T |
| 47453 | F | F | F | T |
| 47454 | F | F | F | T |
| 47455 | F | F | F | T |
| 50527 | F | F | F | T |
| 50528 | F | F | F | T |
| 50529 | F | F | F | T |
| 53765 | F | F | F | T |
| 63537 | F | F | F | T |
| 73354 | F | F | F | T |
| 73355 | F | F | F | T |
| 73356 | F | F | F | T |
| 73357 | F | F | F | T |
| 73358 | F | F | F | T |
| 73359 | F | F | F | T |
| 76829 | F | F | F | T |
| 76830 | F | F | F | T |
| 76831 | F | F | F | T |
| 76832 | F | F | F | T |
| 76833 | F | F | F | T |
| 76834 | F | F | F | T |
| 79477 | F | T | * | T |
| 79478 | F | T | * | T |
| 79479 | F | T | * | T |
| 80943 | F | F | F | T |
| 82130 | F | F | F | T |
| 83192 | F | F | F | T |
| 84408 | F | F | F | T |
| 86127 | F | F | F | T |
| 86128 | F | F | F | T |
| 86129 | F | F | F | T |
| 87758 | F | F | F | T |
| 89434 | F | F | F | T |
| 89435 | F | F | F | T |
| 91092 | F | F | F | T |
| 93711 | F | F | F | T |
| 112574 | F | F | F | T |
| 130151 | F | F | F | T |
| 131326 | F | F | F | T |
| 132653 | F | F | F | T |
Independent-effect pairs
All 3 conditions live in core::option::Option<&T>::cloned — 3 br_if
c0(branch2372): GAP view gap →c1(branch2373): GAP view gap →c2(branch2374): GAP view gap →