Decision #1437 — `library/core/src/slice/index.rs:219`

Status: partial

Truth table

row	c0 br 7339	c1 br 7340	c2 br 7341	outcome

c0 (branch 7339): PROVED
<wasmparser::readers::core::types::FuncType as wasmparser::readers::FromReader>::from_reader · br_table_target
inlined: tables.rs:89 ← binary_reader.rs:484
c1 (branch 7340): DEAD view gap →
<wasmparser::readers::core::types::FuncType as wasmparser::readers::FromReader>::from_reader · br_table_target
inlined: tables.rs:89 ← binary_reader.rs:484
c2 (branch 7341): DEAD view gap →
<wasmparser::readers::core::types::FuncType as wasmparser::readers::FromReader>::from_reader · br_table_default
inlined: tables.rs:89 ← binary_reader.rs:484