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