Decision #1162 — library/alloc/src/vec/mod.rs:4037

Status: unreached

Truth table

rowc0 br 7926c1 br 7927outcome

Independent-effect pairs