Decision #918 — library/core/src/slice/index.rs:238
Status: unreached
Truth table
| row | c0 br 6037 | c1 br 6038 | outcome |
|---|
Independent-effect pairs
c0(branch6037): 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(branch6038): 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