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

Status: unreached

Truth table

rowc0 br 2363c1 br 2364outcome

Independent-effect pairs