Decision #687 — types.rs:2241
Status: unreached
Truth table
| row | c0 br 4920 | c1 br 4924 | outcome |
|---|
Independent-effect pairs
c0(branch4920): DEAD view gap →wasmparser::readers::core::code::FunctionBody::get_binary_reader_for_operators· br_ifc1(branch4924): DEAD view gap →wasmparser::readers::core::code::FunctionBody::get_binary_reader_for_operators· br_if
inlined: types.rs:2123 ← binary_reader.rs:285