Decision #1008 — library/core/src/ptr/mod.rs:1939
Status: partial
Truth table
| row | c0 br 6422 | c1 br 6427 | outcome |
|---|---|---|---|
| 38179 | T | * | T |
| 38180 | T | * | T |
| 38181 | T | * | T |
| 38182 | T | T | T |
| 38183 | * | T | T |
| 38184 | * | T | T |
| 38185 | * | F | F |
| 38186 | T | * | T |
| 38187 | T | * | T |
| 38188 | T | * | T |
| 38189 | T | T | T |
| 38190 | * | T | T |
| 38191 | * | T | T |
| 38192 | * | F | F |
| 59033 | T | * | T |
| 59034 | T | * | T |
| 59035 | T | * | T |
| 59036 | T | T | T |
| 59037 | * | T | T |
| 59038 | * | T | T |
| 59039 | * | F | F |
| 59040 | T | * | T |
| 59041 | T | * | T |
| 59042 | T | * | T |
| 59043 | T | T | T |
| 59044 | * | T | T |
| 59045 | * | T | T |
| 59046 | * | F | F |
| 74719 | T | * | T |
| 74720 | T | T | T |
| 74721 | * | F | F |
| 74722 | T | * | T |
| 74723 | T | T | T |
| 74724 | * | F | F |
| 84602 | T | * | T |
| 84603 | T | T | T |
| 84604 | * | F | F |
| 84605 | T | * | T |
| 84606 | T | T | T |
| 84607 | * | F | F |
| 131386 | T | * | T |
| 131387 | T | * | T |
| 131388 | T | * | T |
| 131389 | T | T | T |
| 131390 | * | T | T |
| 131391 | * | T | T |
| 131392 | * | F | F |
| 131393 | T | * | T |
| 131394 | T | * | T |
| 131395 | T | * | T |
| 131396 | T | T | T |
| 131397 | * | T | T |
| 131398 | * | T | T |
| 131399 | * | F | F |
| 148105 | T | * | T |
| 148106 | T | * | T |
| 148107 | T | * | T |
| 148108 | T | T | T |
| 148109 | * | T | T |
| 148110 | * | T | T |
| 148111 | * | F | F |
| 148112 | T | * | T |
| 148113 | T | * | T |
| 148114 | T | * | T |
| 148115 | T | T | T |
| 148116 | * | T | T |
| 148117 | * | T | T |
| 148118 | * | F | F |
| 251189 | T | * | T |
| 251190 | T | * | T |
| 251191 | T | * | T |
| 251192 | T | T | T |
| 251193 | * | T | T |
| 251194 | * | T | T |
| 251195 | * | F | F |
| 251196 | T | * | T |
| 251197 | T | * | T |
| 251198 | T | * | T |
| 251199 | T | T | T |
| 251200 | * | T | T |
| 251201 | * | T | T |
| 251202 | * | F | F |
| 328566 | T | * | T |
| 328567 | T | * | T |
| 328568 | T | * | T |
| 328569 | T | T | T |
| 328570 | * | T | T |
| 328571 | * | T | T |
| 328572 | * | F | F |
| 328573 | T | * | T |
| 328574 | T | * | T |
| 328575 | T | * | T |
| 328576 | T | T | T |
| 328577 | * | T | T |
| 328578 | * | T | T |
| 328579 | * | F | F |
Independent-effect pairs
c0(branch6422): GAP view gap →scry_octagon::leq· br_ifc1(branch6427): PROVED — pair rows38182,38185(masking)scry_octagon::leq· br_if
inlined: library/alloc/src/vec/mod.rs:3678