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

Status: unreached

Truth table

rowc0 br 4704c1 br 4705c2 br 4706c3 br 4707outcome

Independent-effect pairs