Decision #780 — src/readers/core/operators.rs:333
Status: unreached
Truth table
| row | c0 br 5012 | c1 br 5013 | outcome |
|---|
Independent-effect pairs
c0(branch5012): DEAD view gap →<scry_analyze_core::interpret_op::{closure#8} as core::ops::function::FnOnce<(&scry_bits::BitsCong, u32)>>::call_once· br_ifc1(branch5013): DEAD view gap →<scry_analyze_core::interpret_op::{closure#8} as core::ops::function::FnOnce<(&scry_bits::BitsCong, u32)>>::call_once· br_if