Decision #324 — library/core/src/ptr/mod.rs:1921
Status: no_witness
Truth table
| row | c0 br 2368 | c1 br 2369 | c2 br 2370 | c3 br 2371 | outcome |
|---|---|---|---|---|---|
| 975 | F | F | T | * | T |
| 976 | F | F | T | * | T |
| 977 | F | F | T | * | T |
| 978 | F | F | T | * | T |
| 979 | F | F | F | F | T |
| 4015 | F | F | T | * | T |
| 4016 | F | F | T | * | T |
| 4017 | F | F | T | * | T |
| 4018 | F | F | T | * | T |
| 4019 | F | F | F | F | T |
| 6964 | F | F | T | * | T |
| 6965 | F | F | T | * | T |
| 6966 | F | F | T | * | T |
| 6967 | F | F | T | * | T |
| 6968 | F | F | F | F | T |
| 9735 | F | F | T | * | T |
| 10883 | F | F | T | * | T |
| 11974 | F | F | T | * | T |
| 13771 | F | F | F | F | T |
| 21489 | F | F | F | F | T |
| 29498 | F | F | T | * | T |
| 35436 | F | F | T | * | T |
| 40984 | F | F | F | F | T |
| 40985 | F | F | T | * | T |
| 40986 | F | F | F | F | T |
| 43997 | F | F | F | F | T |
| 43998 | F | F | T | * | T |
| 43999 | F | F | F | F | T |
| 47450 | F | F | F | F | T |
| 47451 | F | F | T | * | T |
| 47452 | F | F | F | F | T |
| 50524 | F | F | F | F | T |
| 50525 | F | F | T | * | T |
| 50526 | F | F | F | F | T |
| 53764 | F | F | F | F | T |
| 63536 | F | F | F | F | T |
| 73348 | F | F | T | * | T |
| 73349 | F | F | T | * | T |
| 73350 | F | F | T | * | T |
| 73351 | F | F | T | * | T |
| 73352 | F | F | T | * | T |
| 73353 | F | F | T | * | T |
| 76823 | F | F | T | * | T |
| 76824 | F | F | T | * | T |
| 76825 | F | F | T | * | T |
| 76826 | F | F | T | * | T |
| 76827 | F | F | T | * | T |
| 76828 | F | F | T | * | T |
| 79474 | F | F | T | * | T |
| 79475 | F | F | T | * | T |
| 79476 | F | F | T | * | T |
| 80942 | F | F | T | * | T |
| 82129 | F | F | T | * | T |
| 83191 | F | F | T | * | T |
| 84407 | F | F | F | F | T |
| 86124 | F | F | T | * | T |
| 86125 | F | F | T | * | T |
| 86126 | F | F | T | * | T |
| 87757 | F | F | F | F | T |
| 89432 | F | F | T | * | T |
| 89433 | F | F | T | * | T |
| 91091 | F | F | F | F | T |
| 93710 | F | F | T | * | T |
| 112573 | F | F | T | * | T |
| 130150 | F | F | F | F | T |
| 131325 | F | F | F | F | T |
| 132652 | F | F | F | F | T |
Independent-effect pairs
All 4 conditions live in core::option::Option<&T>::cloned — 4 br_if
c0(branch2368): GAP view gap →c1(branch2369): GAP view gap →c2(branch2370): GAP view gap →c3(branch2371): GAP view gap →