Decision #83 — lib.rs:4777
Status: no_witness
Truth table
| row | c0 br 466 | c1 br 467 | c2 br 468 | c3 br 469 | outcome |
|---|---|---|---|---|---|
| 175946 | F | F | * | F | T |
| 175947 | F | F | * | F | T |
| 206088 | F | F | * | F | T |
| 206089 | F | T | F | F | T |
| 214460 | F | T | F | F | T |
Independent-effect pairs
All 4 conditions live in <core::iter::adapters::map::Map<core::ops::range::Range<usize>, scry_analyze_core::resolved_stack_callees::{closure#1}> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<alloc::vec::Vec<usize>, <alloc::vec::Vec<alloc::vec::Vec<usize>>>::extend_trusted<core::iter::adapters::map::Map<core::ops::range::Range<usize>, scry_analyze_core::resolved_stack_callees::{closure#1}>>::{closure#0}>::{closure#0}> — 4 br_if
c0(branch466): GAP view gap →c1(branch467): GAP view gap →c2(branch468): GAP view gap →c3(branch469): GAP view gap →