Decision #27 — lib.rs:4723
Status: unreached
Truth table
| row | c0 br 202 | c1 br 203 | outcome |
|---|
Independent-effect pairs
c0(branch202): DEAD view gap →<alloc::vec::Vec<scry_analyze_core::TrapCheck>>::dedup_by::<scry_analyze_core::analyze::{closure#20}>· br_ifc1(branch203): DEAD view gap →<alloc::vec::Vec<scry_analyze_core::TrapCheck>>::dedup_by::<scry_analyze_core::analyze::{closure#20}>· br_if