Decision #1661 — library/alloc/src/raw_vec/mod.rs:425

Status: partial

Truth table

rowc0 br 4894c1 br 4895c2 br 4896c3 br 4897c4 br 4898outcome

Independent-effect pairs