Decision #598 — library/core/src/ptr/mod.rs:825
Status: no_witness
Truth table
| row | c0 br 3934 | c1 br 3935 | outcome |
|---|---|---|---|
| 1098 | F | T | T |
| 4891 | F | T | T |
| 8626 | F | T | T |
| 16669 | F | T | T |
| 26149 | F | T | T |
| 48131 | F | T | T |
| 52302 | F | T | T |
| 56840 | F | T | T |
| 61055 | F | T | T |
| 65265 | F | T | T |
| 76778 | F | T | T |
| 102757 | F | T | T |
| 109103 | F | T | T |
| 114700 | F | T | T |
| 163318 | F | T | T |
| 164889 | F | T | T |
| 166611 | F | T | T |
Independent-effect pairs
c0(branch3934): GAP view gap →<alloc::vec::Vec<scry_analyze_core::AbstractValue> as alloc::vec::spec_from_iter_nested::SpecFromIterNested<scry_analyze_core::AbstractValue, core::iter::adapters::map::Map<core::ops::range::Range<usize>, scry_analyze_core::analyze::{closure#23}::{closure#0}>>>::from_iter· br_if
inlined: lib.rs:3674c1(branch3935): GAP view gap →<alloc::vec::Vec<scry_analyze_core::AbstractValue> as alloc::vec::spec_from_iter_nested::SpecFromIterNested<scry_analyze_core::AbstractValue, core::iter::adapters::map::Map<core::ops::range::Range<usize>, scry_analyze_core::analyze::{closure#23}::{closure#0}>>>::from_iter· br_if
inlined: lib.rs:3674 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825