Decision #26 — lib.rs:4711
Status: unreached
Truth table
| row | c0 br 198 | c1 br 199 | outcome |
|---|
Independent-effect pairs
c0(branch198): DEAD view gap →<alloc::vec::Vec<scry_analyze_core::TrapCheck>>::dedup_by::<scry_analyze_core::analyze::{closure#20}>· br_ifc1(branch199): DEAD view gap →<alloc::vec::Vec<scry_analyze_core::TrapCheck>>::dedup_by::<scry_analyze_core::analyze::{closure#20}>· br_if