Decision #783 — src/readers/core/operators.rs:333
Status: unreached
Truth table
| row | c0 br 5018 | c1 br 5019 | outcome |
|---|
Independent-effect pairs
c0(branch5018): DEAD view gap →<scry_analyze_core::interpret_op::{closure#5} as core::ops::function::FnOnce<(&scry_bits::BitsCong, &scry_bits::BitsCong)>>::call_once· br_ifc1(branch5019): DEAD view gap →<scry_analyze_core::interpret_op::{closure#5} as core::ops::function::FnOnce<(&scry_bits::BitsCong, &scry_bits::BitsCong)>>::call_once· br_if