Decision #471 — library/alloc/src/raw_vec/mod.rs:776

Status: unreached

Truth table

rowc0 br 3200c1 br 3201outcome

Independent-effect pairs