Decision #212 — library/alloc/src/raw_vec/mod.rs:614
Status: unreached
Truth table
| row | c0 br 1740 | c1 br 1741 | outcome |
|---|
Independent-effect pairs
c0(branch1740): DEAD view gap →scry_analyze_core::recursive_flags_from_sccs· br_if
inlined: lib.rs:3308 ← library/alloc/src/vec/mod.rs:3664 ← library/alloc/src/vec/mod.rs:2627 ← library/alloc/src/vec/mod.rs:2025 ← library/alloc/src/raw_vec/mod.rs:296 ← library/alloc/src/raw_vec/mod.rs:609c1(branch1741): DEAD view gap →scry_analyze_core::recursive_flags_from_sccs· br_if