Decision #41 — library/core/src/slice/index.rs:272
Status: no_witness
Truth table
| row | c0 br 261 | c1 br 262 | outcome |
|---|---|---|---|
| 102237 | F | F | F |
| 104784 | F | F | F |
| 104785 | F | F | F |
| 104786 | F | F | F |
| 108710 | F | F | F |
| 110740 | F | F | F |
| 110741 | F | F | F |
| 110742 | F | F | F |
| 110743 | F | F | F |
| 110744 | F | F | F |
| 110745 | F | F | F |
| 114020 | F | F | F |
Independent-effect pairs
c0(branch261): GAP view gap →<core::iter::adapters::map::Map<core::slice::iter::Iter<scry_analyze_core::DefinedFunc>, scry_analyze_core::compute_stack_usage::{closure#0}> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<scry_analyze_core::StackBound, <alloc::vec::Vec<scry_analyze_core::StackBound>>::extend_trusted<core::iter::adapters::map::Map<core::slice::iter::Iter<scry_analyze_core::DefinedFunc>, scry_analyze_core::compute_stack_usage::{closure#0}>>::{closure#0}>::{closure#0}>· br_if
inlined: library/alloc/src/vec/mod.rs:3864 ← library/core/src/slice/index.rs:19c1(branch262): GAP view gap →<core::iter::adapters::map::Map<core::slice::iter::Iter<scry_analyze_core::DefinedFunc>, scry_analyze_core::compute_stack_usage::{closure#0}> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<scry_analyze_core::StackBound, <alloc::vec::Vec<scry_analyze_core::StackBound>>::extend_trusted<core::iter::adapters::map::Map<core::slice::iter::Iter<scry_analyze_core::DefinedFunc>, scry_analyze_core::compute_stack_usage::{closure#0}>>::{closure#0}>::{closure#0}>· br_if