Decision #473 — library/core/src/option.rs:2778
Status: unreached
Truth table
| row | c0 br 3208 | c1 br 3209 | c2 br 3210 | c3 br 3214 | c4 br 3215 | outcome |
|---|
Independent-effect pairs
c0(branch3208): DEAD view gap →<wasmparser::readers::core::operators::Handle as wasmparser::readers::FromReader>::from_reader· br_if
inlined: readers.rs:237c1(branch3209): DEAD view gap →<wasmparser::readers::core::operators::Handle as wasmparser::readers::FromReader>::from_reader· br_if
inlined: readers.rs:237c2(branch3210): DEAD view gap →<wasmparser::readers::core::operators::Handle as wasmparser::readers::FromReader>::from_reader· br_if
inlined: readers.rs:237c3(branch3214): DEAD view gap →<wasmparser::readers::core::operators::Handle as wasmparser::readers::FromReader>::from_reader· br_if
inlined: imports.rs:280c4(branch3215): DEAD view gap →<wasmparser::readers::core::operators::Handle as wasmparser::readers::FromReader>::from_reader· br_if
inlined: imports.rs:280