Decision #468 — library/alloc/src/vec/mod.rs:1912

Status: no_witness

Truth table

rowc0 br 3081c1 br 3082outcome
181149T*T
181150T*T
184469T*T
184470T*T
187576T*T
187577T*T

Independent-effect pairs