Decision #737 — library/core/src/ptr/mod.rs:551
Status: no_witness
Truth table
| row | c0 br 5022 | c1 br 5023 | outcome |
|---|---|---|---|
| 119836 | F | T | T |
| 119837 | F | T | T |
| 119838 | F | T | T |
| 119839 | F | T | T |
| 119840 | F | T | T |
| 119841 | F | T | T |
| 119842 | F | T | T |
| 142772 | F | T | T |
| 142773 | F | T | T |
| 142774 | F | T | T |
| 142775 | F | T | T |
| 142776 | F | T | T |
| 142777 | F | T | T |
| 142778 | F | T | T |
Independent-effect pairs
c0(branch5022): GAP view gap →<alloc::raw_vec::RawVecInner>::finish_grow· br_if
inlined: library/alloc/src/slice.rs:454 ← library/core/src/ptr/const_ptr.rs:1252c1(branch5023): GAP view gap →<alloc::raw_vec::RawVecInner>::finish_grow· br_if
inlined: library/alloc/src/slice.rs:454 ← library/core/src/ptr/const_ptr.rs:1252