Decision #726 — library/core/src/ptr/mod.rs:1939
Status: no_witness
Truth table
| row | c0 br 4724 | c1 br 4725 | outcome |
|---|---|---|---|
| 1878 | F | T | T |
| 8837 | F | T | T |
| 15643 | F | T | T |
| 21963 | F | T | T |
| 24705 | F | T | T |
| 27349 | F | T | T |
| 31078 | F | T | T |
| 51932 | F | T | T |
| 72851 | F | T | T |
| 82734 | F | T | T |
| 92602 | F | T | T |
| 100433 | F | T | T |
| 108922 | F | T | T |
| 116946 | F | T | T |
| 124818 | F | T | T |
| 141537 | F | T | T |
| 159212 | F | T | T |
| 169070 | F | T | T |
| 176951 | F | T | T |
| 181462 | F | T | T |
| 184780 | F | T | T |
| 187889 | F | T | T |
| 191522 | F | T | T |
| 197312 | F | T | T |
| 203580 | F | T | T |
| 208634 | F | T | T |
| 216153 | F | T | T |
| 224554 | F | T | T |
| 301931 | F | T | T |
| 377321 | F | T | T |
| 379978 | F | T | T |
| 382861 | F | T | T |
Independent-effect pairs
c0(branch4724): 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: lib.rs:7201 ← library/alloc/src/vec/mod.rs:1002 ← library/alloc/src/vec/mod.rs:1043c1(branch4725): 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: lib.rs:7201 ← library/alloc/src/vec/mod.rs:1002 ← library/alloc/src/vec/mod.rs:1043