Decision #917 — lib.rs:413
Status: unreached
Truth table
| row | c0 br 6039 | c1 br 6042 | outcome |
|---|
Independent-effect pairs
c0(branch6039): DEAD view gap →<alloc::vec::Vec<i128>>::extend_trusted::<core::iter::adapters::map::Map<core::slice::iter::Iter<i128>, scry_poly::reduce::{closure#0}>>· br_ifc1(branch6042): DEAD view gap →<alloc::vec::Vec<i128>>::extend_trusted::<core::iter::adapters::map::Map<core::slice::iter::Iter<i128>, scry_poly::reduce::{closure#0}>>· br_if