Decision #288 — library/alloc/src/raw_vec/mod.rs:442
Status: no_witness
Truth table
| row | c0 br 2145 | c1 br 2146 | outcome |
|---|---|---|---|
| 789 | T | T | T |
| 3829 | T | T | T |
| 6774 | T | T | T |
Independent-effect pairs
c0(branch2145): GAP view gap →scry_analyze_core::analyze· br_ifc1(branch2146): GAP view gap →scry_analyze_core::analyze· br_if