Decision #1621 — library/alloc/src/vec/set_len_on_drop.rs:19

Status: unreached

Truth table

rowc0 br 2924c1 br 2925c2 br 2926outcome

Independent-effect pairs