Decision #568 — library/core/src/ptr/mod.rs:1733
Status: no_witness
Truth table
| row | c0 br 3833 | c1 br 3846 | outcome |
|---|---|---|---|
| 993 | F | T | T |
| 4786 | T | * | T |
| 8521 | F | T | T |
| 11977 | F | T | T |
| 13353 | T | * | T |
| 14678 | F | T | T |
| 16595 | F | T | T |
| 26075 | T | * | T |
| 35698 | F | T | T |
| 41911 | F | T | T |
| 48033 | F | T | T |
| 52204 | F | T | T |
| 56742 | T | * | T |
| 60957 | F | T | T |
| 65191 | F | T | T |
| 76704 | F | T | T |
| 88444 | F | T | T |
| 92712 | F | T | T |
| 96168 | F | T | T |
| 98040 | F | T | T |
| 99557 | T | * | T |
| 100973 | F | T | T |
| 102687 | F | T | T |
| 105961 | F | T | T |
| 109039 | F | T | T |
| 111740 | F | T | T |
| 114620 | F | T | T |
| 118654 | F | T | T |
| 141590 | F | T | T |
| 163261 | F | T | T |
| 164832 | F | T | T |
| 166554 | T | * | T |
Independent-effect pairs
c0(branch3833): GAP view gap →scry_analyze_core::analyze· br_if
inlined: src/hex.rs:39 ← src/impls.rs:17 ← src/lib.rs:397 ← src/lib.rs:248 ← library/core/src/mem/maybe_uninit.rs:728 ← library/core/src/ptr/const_ptr.rs:1171c1(branch3846): 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:2850