Decision #623 — library/alloc/src/raw_vec/mod.rs:493

Status: no_witness

Truth table

rowc0 br 4170c1 br 4171outcome
1443T*T
1444T*T
1445FFT
1446FTT
8403T*T
8404T*T
8405T*T
8406T*T
15204T*T
15205T*T
15206FFT
15207FTT

Independent-effect pairs