Decision #553 — library/alloc/src/vec/mod.rs:1040
Status: no_witness
Truth table
| row | c0 br 3533 | c1 br 3622 | outcome |
|---|---|---|---|
| 98013 | F | * | F |
| 99530 | F | * | F |
| 100946 | F | * | F |
Independent-effect pairs
c0(branch3533): GAP view gap →scry_analyze_core::analyze· br_ifc1(branch3622): DEAD view gap →scry_analyze_core::analyze· br_if