Decision #447 — library/alloc/src/vec/mod.rs:464

Status: unreached

Truth table

rowc0 br 3000c1 br 3001c2 br 3002outcome

Independent-effect pairs