Decision #1415 — library/core/src/slice/index.rs:219
Status: unreached
Truth table
| row | c0 br 6663 | c1 br 6664 | c2 br 6665 | outcome |
|---|
Independent-effect pairs
All 3 conditions live in <wasmparser::binary_reader::BinaryReader>::read_ordering — 1 br_table_default + 2 br_table_target
c0(branch6663): DEAD view gap →c1(branch6664): DEAD view gap →c2(branch6665): DEAD view gap →