Decision #76 — library/core/src/iter/adapters/map.rs:124
Status: unreached
Truth table
| row | c0 br 431 | c1 br 432 | outcome |
|---|
Independent-effect pairs
c0(branch431): DEAD view gap →<alloc::vec::Vec<scry_analyze_core::TrapCheck>>::dedup_by::<scry_analyze_core::analyze::{closure#20}>· br_ifc1(branch432): DEAD view gap →<alloc::vec::Vec<scry_analyze_core::TrapCheck>>::dedup_by::<scry_analyze_core::analyze::{closure#20}>· br_if