Decision #692 — library/core/src/ptr/mod.rs:1731
Status: no_witness
Truth table
| row | c0 br 4668 | c1 br 4669 | outcome |
|---|---|---|---|
| 1708 | F | T | T |
| 8668 | T | * | T |
| 15473 | F | T | T |
| 21854 | F | T | T |
| 24597 | T | * | T |
| 27240 | F | T | T |
| 30967 | F | T | T |
| 51822 | T | * | T |
| 72740 | F | T | T |
| 82623 | F | T | T |
| 92451 | F | T | T |
| 100282 | F | T | T |
| 108771 | T | * | T |
| 116795 | F | T | T |
| 124707 | F | T | T |
| 141426 | F | T | T |
| 159034 | F | T | T |
| 168892 | F | T | T |
| 176813 | F | T | T |
| 181352 | F | T | T |
| 184671 | T | * | T |
| 187779 | F | T | T |
| 191405 | F | T | T |
| 197156 | F | T | T |
| 203465 | F | T | T |
| 208491 | F | T | T |
| 216035 | F | T | T |
| 224443 | F | T | T |
| 301820 | F | T | T |
| 377214 | F | T | T |
| 379871 | F | T | T |
| 382755 | T | * | T |
Independent-effect pairs
c0(branch4668): GAP view gap →scry_analyze_core::analyze· br_if
inlined: library/core/src/iter/sources/from_fn.rs:71 ← src/parser.rs:1117 ← library/alloc/src/vec/mod.rs:2860c1(branch4669): GAP view gap →scry_analyze_core::analyze· br_if