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