Decision #123 — library/alloc/src/raw_vec/mod.rs:424

Status: no_witness

Truth table

rowc0 br 964c1 br 966c2 br 967outcome
84192FT*T
84193FT*T
87577FT*T
87578FT*T
90819FT*T
90820FT*T

Independent-effect pairs