Decision #428 — library/alloc/src/vec/mod.rs:1044

Status: no_witness

Truth table

rowc0 br 2582c1 br 2585outcome
223765*FF
301142*FF

Independent-effect pairs