Decision #592 — library/core/src/ptr/mod.rs:551
Status: no_witness
Truth table
| row | c0 br 3903 | c1 br 3904 | outcome |
|---|---|---|---|
| 1092 | T | T | T |
| 4885 | T | T | T |
| 8620 | T | T | T |
| 12035 | T | T | T |
| 13411 | T | T | T |
| 14736 | T | T | T |
| 16666 | T | T | T |
| 26146 | T | T | T |
| 35768 | T | T | T |
| 41981 | T | T | T |
| 48120 | T | T | T |
| 52291 | T | T | T |
| 56829 | T | T | T |
| 61044 | T | T | T |
| 65262 | T | T | T |
| 76775 | T | T | T |
| 88563 | T | T | T |
| 92831 | T | T | T |
| 96236 | T | T | T |
| 98096 | T | T | T |
| 99613 | T | T | T |
| 101029 | T | T | T |
| 102754 | T | T | T |
| 106072 | T | T | T |
| 109100 | T | T | T |
| 111846 | T | T | T |
| 114697 | T | T | T |
| 118726 | T | T | T |
| 141662 | T | T | T |
| 163315 | T | T | T |
| 164886 | T | T | T |
| 166608 | T | T | T |
Independent-effect pairs
c0(branch3903): GAP view gap →<alloc::vec::Vec<core::option::Option<scry_analyze_core::SummaryEntry>> as alloc::vec::spec_from_iter_nested::SpecFromIterNested<core::option::Option<scry_analyze_core::SummaryEntry>, core::iter::adapters::map::Map<core::ops::range::Range<usize>, scry_analyze_core::analyze::{closure#17}>>>::from_iter· br_if
inlined: library/alloc/src/slice.rs:454 ← library/core/src/ptr/const_ptr.rs:1252c1(branch3904): GAP view gap →<alloc::vec::Vec<core::option::Option<scry_analyze_core::SummaryEntry>> as alloc::vec::spec_from_iter_nested::SpecFromIterNested<core::option::Option<scry_analyze_core::SummaryEntry>, core::iter::adapters::map::Map<core::ops::range::Range<usize>, scry_analyze_core::analyze::{closure#17}>>>::from_iter· br_if
inlined: library/alloc/src/slice.rs:454 ← library/core/src/ptr/const_ptr.rs:1252