Decision #428 — library/alloc/src/vec/mod.rs:1044
Status: no_witness
Truth table
| row | c0 br 2582 | c1 br 2585 | outcome |
|---|---|---|---|
| 223765 | * | F | F |
| 301142 | * | F | F |
Independent-effect pairs
c0(branch2582): DEAD view gap →<scry_analyze_core::Interp>::seq· br_ifc1(branch2585): GAP view gap →<scry_analyze_core::Interp>::seq· br_if