Decision #47 — library/alloc/src/collections/btree/navigate.rs:634
Status: no_witness
Truth table
| row | c0 br 299 | c1 br 303 | outcome |
|---|---|---|---|
| 15836 | F | * | F |
| 15837 | F | * | F |
| 15838 | F | * | F |
| 15839 | F | * | F |
| 25316 | F | * | F |
| 25317 | F | * | F |
| 25318 | F | * | F |
| 25319 | F | * | F |
| 34782 | F | * | F |
| 34783 | F | * | F |
| 40995 | F | * | F |
| 40996 | F | * | F |
| 64251 | F | * | F |
| 64252 | F | * | F |
| 64253 | F | * | F |
| 64254 | F | * | F |
| 75764 | F | * | F |
| 75765 | F | * | F |
| 75766 | F | * | F |
| 75767 | F | * | F |
| 117341 | F | * | F |
| 117342 | F | * | F |
| 117343 | F | * | F |
| 117344 | F | * | F |
| 117345 | F | * | F |
| 117346 | F | * | F |
| 117347 | F | * | F |
| 117348 | F | * | F |
| 140277 | F | * | F |
| 140278 | F | * | F |
| 140279 | F | * | F |
| 140280 | F | * | F |
| 140281 | F | * | F |
| 140282 | F | * | F |
| 140283 | F | * | F |
| 140284 | F | * | F |
Independent-effect pairs
c0(branch299): GAP view gap →<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::narrow_locals::{closure#0}>>· br_ifc1(branch303): DEAD view gap →<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::narrow_locals::{closure#0}>>· br_if