Decision #718 — library/core/src/ptr/mod.rs:810
Status: no_witness
Truth table
| row | c0 br 5168 | c1 br 5169 | outcome |
|---|---|---|---|
| 1378 | * | F | F |
| 4418 | * | F | F |
| 7367 | * | F | F |
| 18298 | * | F | F |
| 26016 | * | F | F |
| 41316 | * | F | F |
| 44329 | * | F | F |
| 47781 | * | F | F |
| 50856 | * | F | F |
| 59757 | * | F | F |
| 69529 | * | F | F |
| 84676 | * | F | F |
| 88007 | * | F | F |
| 91410 | * | F | F |
| 130317 | * | F | F |
| 131492 | * | F | F |
| 132819 | * | F | F |
Independent-effect pairs
c0(branch5168): DEAD view gap →alloc::vec::Vec<T,A>::extend_desugared· br_ifc1(branch5169): GAP view gap →alloc::vec::Vec<T,A>::extend_desugared· br_if
inlined: library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810