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