Decision #1000 — library/alloc/src/vec/mod.rs:3676

Status: unreached

Truth table

rowc0 br 6376c1 br 6377outcome

Independent-effect pairs