Decision #1300 — `library/core/src/slice/index.rs:184`

Status: no_witness

Truth table

row	c0 br 8761	c1 br 8764	c2 br 8768	outcome
3272	F	T	*	T
10229	F	T	*	T
17082	F	T	*	T

c0 (branch 8761): GAP view gap →
<wasmparser::readers::core::types::RefType as wasmparser::readers::FromReader>::from_reader · br_if
inlined: names.rs:145 ← readers.rs:102 ← binary_reader.rs:443
c1 (branch 8764): GAP view gap →
<wasmparser::readers::core::types::RefType as wasmparser::readers::FromReader>::from_reader · br_if
c2 (branch 8768): DEAD view gap →
<wasmparser::readers::core::types::RefType as wasmparser::readers::FromReader>::from_reader · br_if
inlined: names.rs:146 ← readers.rs:102 ← binary_reader.rs:443