Decision #1020 — library/core/src/iter/adapters/map.rs:69
Status: unreached
Truth table
| row | c0 br 7251 | c1 br 7252 | outcome |
|---|
Independent-effect pairs
c0(branch7251): DEAD view gap →<wasmparser::binary_reader::BinaryReader>::read_var_s33· br_ifc1(branch7252): DEAD view gap →<wasmparser::binary_reader::BinaryReader>::read_var_s33· br_if