Decision #972 — library/alloc/src/raw_vec/mod.rs:434

Status: partial

Truth table

rowc0 br 1860c1 br 1861c2 br 1862outcome

Independent-effect pairs

All 3 conditions live in scry_analyze_core::Interp::loop_region — 1 br_table_default + 2 br_table_target