Decision #581 — types.rs:1278
Status: unreached
Truth table
| row | c0 br 4412 | c1 br 4413 | outcome |
|---|
Independent-effect pairs
c0(branch4412): DEAD view gap →core::ptr::drop_in_place<core::result::Result<(),wasmparser::binary_reader::BinaryReaderError>>· br_ifc1(branch4413): DEAD view gap →core::ptr::drop_in_place<core::result::Result<(),wasmparser::binary_reader::BinaryReaderError>>· br_if