Decision #597 — library/core/src/mem/maybe_uninit.rs:574
Status: partial
Truth table
| row | c0 br 3931 | c1 br 3932 | outcome |
|---|---|---|---|
| 1093 | T | F | F |
| 1094 | T | F | F |
| 1095 | T | F | F |
| 1096 | T | F | F |
| 1097 | T | T | T |
| 4886 | T | F | F |
| 4887 | T | F | F |
| 4888 | T | F | F |
| 4889 | T | F | F |
| 4890 | T | T | T |
| 8621 | T | F | F |
| 8622 | T | F | F |
| 8623 | T | F | F |
| 8624 | T | F | F |
| 8625 | T | T | T |
| 12036 | T | F | F |
| 13412 | T | F | F |
| 14737 | T | F | F |
| 16668 | T | T | T |
| 26148 | T | T | T |
| 35769 | T | F | F |
| 41982 | T | F | F |
| 48129 | T | F | F |
| 48130 | T | T | T |
| 52300 | T | F | F |
| 52301 | T | T | T |
| 56838 | T | F | F |
| 56839 | T | T | T |
| 61053 | T | F | F |
| 61054 | T | T | T |
| 65264 | T | T | T |
| 76777 | T | T | T |
| 88564 | T | F | F |
| 88565 | T | F | F |
| 88566 | T | F | F |
| 88567 | T | F | F |
| 88568 | T | F | F |
| 88569 | T | F | F |
| 92832 | T | F | F |
| 92833 | T | F | F |
| 92834 | T | F | F |
| 92835 | T | F | F |
| 92836 | T | F | F |
| 92837 | T | F | F |
| 96237 | T | F | F |
| 96238 | T | F | F |
| 96239 | T | F | F |
| 98097 | T | F | F |
| 99614 | T | F | F |
| 101030 | T | F | F |
| 102756 | T | T | T |
| 106073 | T | F | F |
| 106074 | T | F | F |
| 106075 | T | F | F |
| 109102 | T | T | T |
| 111847 | T | F | F |
| 111848 | T | F | F |
| 114699 | T | T | T |
| 118727 | T | F | F |
| 141663 | T | F | F |
| 163317 | T | T | T |
| 164888 | T | T | T |
| 166610 | T | T | T |
Independent-effect pairs
c0(branch3931): 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_ifc1(branch3932): PROVED — pair rows1093,1097(unique-cause)<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