Decision #117 — library/alloc/src/raw_vec/mod.rs:434

Status: no_witness

Truth table

rowc0 br 700c1 br 701outcome
90816T*T
90817T*T

Independent-effect pairs