Decision #522 — library/core/src/slice/iter/macros.rs:180
Status: no_witness
Truth table
| row | c0 br 3721 | c1 br 3722 | outcome |
|---|---|---|---|
| 1080 | T | F | F |
| 1081 | T | F | F |
| 8040 | T | F | F |
| 8041 | T | F | F |
| 14841 | T | F | F |
| 14842 | T | F | F |
Independent-effect pairs
c0(branch3721): GAP view gap →<alloc::vec::Vec<bool> as alloc::vec::spec_from_iter_nested::SpecFromIterNested<bool, core::iter::adapters::map::Map<core::slice::iter::Iter<scry_analyze_core::DefinedFunc>, scry_analyze_core::compute_stack_usage::{closure#1}>>>::from_iter· br_ifc1(branch3722): GAP view gap →<alloc::vec::Vec<bool> as alloc::vec::spec_from_iter_nested::SpecFromIterNested<bool, core::iter::adapters::map::Map<core::slice::iter::Iter<scry_analyze_core::DefinedFunc>, scry_analyze_core::compute_stack_usage::{closure#1}>>>::from_iter· br_if