Decision #46 — library/core/src/iter/adapters/copied.rs:81
Status: no_witness
Truth table
| row | c0 br 282 | c1 br 283 | outcome |
|---|---|---|---|
| 34778 | F | * | T |
| 34779 | F | * | T |
| 34780 | F | * | T |
| 34781 | F | * | T |
| 40991 | F | * | T |
| 40992 | F | * | T |
| 40993 | F | * | T |
| 40994 | F | * | T |
| 117325 | F | * | T |
| 117326 | F | * | T |
| 117327 | F | * | T |
| 117328 | F | * | T |
| 117329 | F | * | T |
| 117330 | F | * | T |
| 117331 | F | * | T |
| 117332 | F | * | T |
| 117333 | F | * | T |
| 117334 | F | * | T |
| 117335 | F | * | T |
| 117336 | F | * | T |
| 117337 | F | * | T |
| 117338 | F | * | T |
| 117339 | F | * | T |
| 117340 | F | * | T |
| 140261 | F | * | T |
| 140262 | F | * | T |
| 140263 | F | * | T |
| 140264 | F | * | T |
| 140265 | F | * | T |
| 140266 | F | * | T |
| 140267 | F | * | T |
| 140268 | F | * | T |
| 140269 | F | * | T |
| 140270 | F | * | T |
| 140271 | F | * | T |
| 140272 | F | * | T |
| 140273 | F | * | T |
| 140274 | F | * | T |
| 140275 | F | * | T |
| 140276 | F | * | T |
Independent-effect pairs
c0(branch282): GAP view gap →<core::iter::adapters::map::Map<core::iter::adapters::zip::Zip<core::slice::iter::Iter<scry_analyze_core::AbstractValue>, core::slice::iter::Iter<scry_analyze_core::AbstractValue>>, scry_analyze_core::widen_locals::{closure#0}> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<scry_analyze_core::AbstractValue, <alloc::vec::Vec<scry_analyze_core::AbstractValue>>::extend_trusted<core::iter::adapters::map::Map<core::iter::adapters::zip::Zip<core::slice::iter::Iter<scry_analyze_core::AbstractValue>, core::slice::iter::Iter<scry_analyze_core::AbstractValue>>, scry_analyze_core::widen_locals::{closure#0}>>::{closure#0}>::{closure#0}>· br_ifc1(branch283): DEAD view gap →<core::iter::adapters::map::Map<core::iter::adapters::zip::Zip<core::slice::iter::Iter<scry_analyze_core::AbstractValue>, core::slice::iter::Iter<scry_analyze_core::AbstractValue>>, scry_analyze_core::widen_locals::{closure#0}> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<scry_analyze_core::AbstractValue, <alloc::vec::Vec<scry_analyze_core::AbstractValue>>::extend_trusted<core::iter::adapters::map::Map<core::iter::adapters::zip::Zip<core::slice::iter::Iter<scry_analyze_core::AbstractValue>, core::slice::iter::Iter<scry_analyze_core::AbstractValue>>, scry_analyze_core::widen_locals::{closure#0}>>::{closure#0}>::{closure#0}>· br_if