Decision #580 — types.rs:1276
Status: unreached
Truth table
| row | c0 br 4410 | c1 br 4411 | outcome |
|---|
Independent-effect pairs
c0(branch4410): DEAD view gap →<wasmparser::readers::core::operators::FrameStackAdapter<T> as wasmparser::readers::core::operators::VisitOperator>::visit_try· br_ifc1(branch4411): DEAD view gap →<wasmparser::readers::core::operators::FrameStackAdapter<T> as wasmparser::readers::core::operators::VisitOperator>::visit_try· br_if