Decision #1024 — library/core/src/ptr/mod.rs:549
Status: no_witness
Truth table
| row | c0 br 6491 | c1 br 6492 | outcome |
|---|---|---|---|
| 38555 | F | T | T |
| 38556 | F | T | T |
| 59409 | F | T | T |
| 59410 | F | T | T |
| 75155 | F | T | T |
| 75156 | F | T | T |
| 85038 | F | T | T |
| 85039 | F | T | T |
| 131906 | F | T | T |
| 131907 | F | T | T |
| 148625 | F | T | T |
| 148626 | F | T | T |
| 252343 | F | T | T |
| 252344 | F | T | T |
| 252345 | F | T | T |
| 252346 | F | T | T |
| 329720 | F | T | T |
| 329721 | F | T | T |
| 329722 | F | T | T |
| 329723 | F | T | T |
Independent-effect pairs
c0(branch6491): GAP view gap →scry_octagon::narrow· br_if
inlined: library/alloc/src/slice.rs:454 ← library/core/src/ptr/const_ptr.rs:1234c1(branch6492): GAP view gap →scry_octagon::narrow· br_if