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

Status: no_witness

Truth table

rowc0 br 710c1 br 711c2 br 715outcome
90818FTFF

Independent-effect pairs

All 3 conditions live in scry_analyze_core::Interp::seq — 3 br_if