Decision #686 — library/core/src/ptr/mod.rs:1939
Status: no_witness
Truth table
| row | c0 br 4562 | c1 br 4563 | outcome |
|---|---|---|---|
| 181328 | T | F | F |
| 184647 | T | F | F |
| 187755 | T | F | F |
Independent-effect pairs
c0(branch4562): GAP view gap →scry_analyze_core::analyze· br_ifc1(branch4563): GAP view gap →scry_analyze_core::analyze· br_if
inlined: lib.rs:2126 ← library/alloc/src/vec/mod.rs:3536 ← library/alloc/src/vec/mod.rs:3678