Decision #365 — library/alloc/src/vec/mod.rs:4250

Status: unreached

Truth table

rowc0 br 2598c1 br 2599outcome

Independent-effect pairs