Decision #422 — library/alloc/src/raw_vec/mod.rs:460

Status: unreached

Truth table

rowc0 br 2865c1 br 2866outcome

Independent-effect pairs