Decision #682 — library/alloc/src/boxed.rs:1929
Status: unreached
Truth table
| row | c0 br 4921 | c1 br 4922 | outcome |
|---|
Independent-effect pairs
c0(branch4921): DEAD view gap →wasmparser::readers::core::code::FunctionBody::get_binary_reader_for_operators· br_ifc1(branch4922): DEAD view gap →wasmparser::readers::core::code::FunctionBody::get_binary_reader_for_operators· br_if