Decision #55 — library/alloc/src/vec/mod.rs:1037

Status: unreached

Truth table

rowc0 br 489c1 br 502c2 br 510c3 br 512c4 br 513c5 br 514c6 br 517c7 br 518c8 br 519c9 br 527outcome

Independent-effect pairs