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

Status: unreached

Truth table

rowc0 br 2405c1 br 2409c2 br 2412outcome

Independent-effect pairs