Decision #52 — library/alloc/src/raw_vec/mod.rs:614

Status: no_witness

Truth table

rowc0 br 446c1 br 498c2 br 501c3 br 503c4 br 516c5 br 521outcome
40282T*****T
43250T*****T
46703T*****T
49822T*****T
72371T*****T
72372T*****T
75846T*****T
75847T*****T

Independent-effect pairs