Decision #724 — library/alloc/src/raw_vec/mod.rs:615
Status: partial
Truth table
| row | c0 br 4728 | c1 br 4730 | outcome |
|---|---|---|---|
| 1876 | F | F | F |
| 8835 | F | F | F |
| 15641 | F | F | F |
| 21961 | F | * | F |
| 24703 | F | * | F |
| 27347 | F | * | F |
| 31076 | F | * | F |
| 51930 | F | * | F |
| 72849 | F | * | F |
| 82732 | F | * | F |
| 92598 | T | * | T |
| 92599 | T | * | T |
| 92600 | F | * | F |
| 100429 | T | * | T |
| 100430 | T | * | T |
| 100431 | F | * | F |
| 108918 | T | * | T |
| 108919 | T | * | T |
| 108920 | F | * | F |
| 116942 | T | * | T |
| 116943 | T | * | T |
| 116944 | F | * | F |
| 124816 | F | * | F |
| 141535 | F | * | F |
| 159209 | T | * | T |
| 159210 | F | F | F |
| 169067 | T | * | T |
| 169068 | F | F | F |
| 176947 | T | * | T |
| 176948 | T | * | T |
| 176949 | F | * | F |
| 181460 | F | * | F |
| 184778 | F | * | F |
| 187887 | F | * | F |
| 191520 | F | * | F |
| 197308 | T | * | T |
| 197309 | T | * | T |
| 197310 | F | * | F |
| 203578 | F | * | F |
| 208631 | T | * | T |
| 208632 | F | * | F |
| 216151 | F | * | F |
| 224552 | F | * | F |
| 301929 | F | * | F |
| 377319 | F | * | F |
| 379976 | F | * | F |
| 382859 | F | * | F |
Independent-effect pairs
c0(branch4728): PROVED — pair rows1876,92598(masking)<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/vec/mod.rs:1042 ← library/alloc/src/vec/mod.rs:2061 ← library/alloc/src/raw_vec/mod.rs:296 ← library/alloc/src/raw_vec/mod.rs:610c1(branch4730): 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:7297 ← library/alloc/src/vec/mod.rs:2860 ← library/alloc/src/vec/mod.rs:1977 ← library/alloc/src/raw_vec/mod.rs:296 ← library/alloc/src/raw_vec/mod.rs:610