Decision #1694 — library/alloc/src/raw_vec/mod.rs:565

Status: partial

Truth table

rowc0 br 8200c1 br 8201c2 br 8202c3 br 8203outcome

Independent-effect pairs

All 4 conditions live in core::ptr::drop_glue::<wasmparser::readers::core::operators::Operator> — 1 br_table_default + 3 br_table_target