Decision #674 — library/alloc/src/vec/mod.rs:1035
Status: no_witness
Truth table
| row | c0 br 4425 | c1 br 4448 | c2 br 4452 | outcome |
|---|---|---|---|---|
| 1632 | F | * | * | T |
| 1633 | T | * | * | T |
| 8592 | F | * | * | T |
| 8593 | T | * | * | T |
| 15393 | F | * | * | T |
| 15394 | T | * | * | T |
Independent-effect pairs
c0(branch4425): GAP view gap →scry_analyze_core::analyze· br_if
inlined: lib.rs:1968 ← lib.rs:7905 ← library/alloc/src/vec/mod.rs:1002c1(branch4448): DEAD view gap →scry_analyze_core::analyze· br_ifc2(branch4452): DEAD view gap →scry_analyze_core::analyze· br_if
inlined: lib.rs:1843 ← library/alloc/src/vec/mod.rs:1002