Decision #1625 — library/alloc/src/vec/mod.rs:1035
Status: partial
Truth table
| row | c0 br 3023 | c1 br 3024 | c2 br 3025 | c3 br 3026 | outcome |
|---|
Independent-effect pairs
c0(branch3023): DEAD view gap →scry_analyze_core::compute_advisories· br_table_target
inlined: lib.rs:4480 ← library/alloc/src/vec/mod.rs:1002c1(branch3024): DEAD view gap →scry_analyze_core::compute_advisories· br_table_target
inlined: lib.rs:4480 ← library/alloc/src/vec/mod.rs:1002c2(branch3025): PROVEDscry_analyze_core::compute_advisories· br_table_target
inlined: lib.rs:4480 ← library/alloc/src/vec/mod.rs:1002c3(branch3026): DEAD view gap →scry_analyze_core::compute_advisories· br_table_default
inlined: lib.rs:4480 ← library/alloc/src/vec/mod.rs:1002