Decision #297 — library/alloc/src/vec/mod.rs:975

Status: unreached

Truth table

rowc0 br 1556c1 br 1557outcome

Independent-effect pairs