Decision #39 — library/core/src/ptr/non_null.rs:1717
Status: partial
Truth table
| row | c0 br 213 | c1 br 224 | outcome |
|---|---|---|---|
| 169 | F | F | F |
| 170 | F | T | T |
| 171 | F | T | T |
| 172 | F | T | T |
| 173 | F | F | F |
| 3209 | F | F | F |
| 3210 | F | T | T |
| 3211 | F | T | T |
| 3212 | F | T | T |
| 3213 | F | F | F |
| 6104 | F | F | F |
| 6105 | F | T | T |
| 6106 | F | T | T |
| 6107 | F | T | T |
| 6108 | F | F | F |
| 9458 | F | F | F |
| 10606 | F | F | F |
| 11697 | F | F | F |
| 12897 | F | F | F |
| 20615 | F | F | F |
| 28284 | F | F | F |
| 34222 | F | F | F |
| 40154 | F | F | F |
| 40155 | F | T | T |
| 40156 | F | T | T |
| 43122 | F | F | F |
| 43123 | F | T | T |
| 43124 | F | T | T |
| 46575 | F | F | F |
| 46576 | F | T | T |
| 46577 | F | T | T |
| 49694 | F | F | F |
| 49695 | F | T | T |
| 49696 | F | T | T |
| 52660 | F | F | F |
| 62432 | F | F | F |
| 72290 | F | F | F |
| 72291 | F | T | T |
| 72292 | F | T | T |
| 72293 | F | T | T |
| 72294 | F | F | F |
| 72295 | F | T | T |
| 75765 | F | F | F |
| 75766 | F | T | T |
| 75767 | F | T | T |
| 75768 | F | T | T |
| 75769 | F | F | F |
| 75770 | F | T | T |
| 79121 | F | * | F |
| 79122 | F | F | F |
| 79123 | F | T | T |
| 79124 | * | T | T |
| 80688 | F | F | F |
| 81875 | F | F | F |
| 82937 | F | F | F |
| 84131 | F | F | F |
| 85459 | F | F | F |
| 85460 | F | T | T |
| 85461 | F | T | T |
| 87532 | F | F | F |
| 88765 | F | F | F |
| 88766 | F | T | T |
| 90753 | F | F | F |
| 92259 | F | F | F |
| 111122 | F | F | F |
| 129900 | F | F | F |
| 131059 | F | F | F |
| 132386 | F | F | F |
Independent-effect pairs
c0(branch213): GAP view gap →scry_analyze_core::tarjan_sccs· br_if
inlined: lib.rs:2511 ← library/core/src/iter/adapters/enumerate.rs:80 ← library/core/src/slice/iter/macros.rs:180c1(branch224): PROVED — pair rows169,170(unique-cause)scry_analyze_core::tarjan_sccs· br_if
inlined: lib.rs:2228 ← library/core/src/slice/iter/macros.rs:180