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

Status: no_witness

Truth table

rowc0 br 2135c1 br 2136c2 br 2137outcome
788TT*T
3828TT*T
6773TT*T

Independent-effect pairs

All 3 conditions live in scry_analyze_core::analyze — 3 br_if