Decision #561 — library/core/src/ptr/mod.rs:1933
Status: no_witness
Truth table
| row | c0 br 3612 | c1 br 3621 | outcome |
|---|---|---|---|
| 949 | T | T | T |
| 4742 | T | T | T |
| 8473 | T | T | T |
Independent-effect pairs
c0(branch3612): GAP view gap →scry_analyze_core::analyze· br_if
inlined: lib.rs:1664 ← lib.rs:5940 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1045c1(branch3621): GAP view gap →scry_analyze_core::analyze· br_if
inlined: lib.rs:1703 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1045