Decision #527 — library/alloc/src/vec/mod.rs:1873
Status: unreached
Truth table
| row | c0 br 3743 | c1 br 3751 | outcome |
|---|
Independent-effect pairs
c0(branch3743): DEAD view gap →scry_analyze_core::handle_memory_store· br_ifc1(branch3751): DEAD view gap →scry_analyze_core::handle_memory_store· br_if