Decision #495 — library/core/src/ptr/mod.rs:1731
Status: no_witness
Truth table
| row | c0 br 3468 | c1 br 3469 | c2 br 3472 | c3 br 3473 | c4 br 3474 | outcome |
|---|---|---|---|---|---|---|
| 1001 | T | * | * | * | * | T |
| 1002 | T | T | * | * | * | T |
| 1003 | T | * | * | * | * | T |
| 1004 | T | T | * | * | * | T |
| 1005 | T | * | * | * | * | T |
| 1006 | T | T | * | * | * | T |
| 1007 | F | F | T | T | * | T |
| 1008 | T | * | F | * | T | T |
| 1009 | F | F | F | * | T | T |
| 7961 | T | * | * | * | * | T |
| 7962 | T | T | * | * | * | T |
| 7963 | T | * | * | * | * | T |
| 7964 | T | T | * | * | * | T |
| 7965 | T | * | * | * | * | T |
| 7966 | T | T | * | * | * | T |
| 7967 | F | F | T | T | * | T |
| 7968 | T | * | F | * | T | T |
| 7969 | F | F | F | * | T | T |
| 14762 | T | * | * | * | * | T |
| 14763 | T | T | * | * | * | T |
| 14764 | T | * | * | * | * | T |
| 14765 | T | T | * | * | * | T |
| 14766 | T | * | * | * | * | T |
| 14767 | T | T | * | * | * | T |
| 14768 | F | F | T | T | * | T |
| 14769 | T | * | F | * | T | T |
| 14770 | F | F | F | * | T | T |
| 21653 | F | F | F | * | T | T |
| 24396 | F | F | F | * | T | T |
| 27039 | F | F | F | * | T | T |
| 30609 | F | F | F | * | T | T |
| 51464 | F | F | F | * | T | T |
| 72389 | F | F | F | * | T | T |
| 82272 | F | F | F | * | T | T |
| 91929 | T | * | * | * | * | T |
| 91930 | T | T | * | * | * | T |
| 91931 | F | F | T | T | * | T |
| 91932 | T | * | F | * | T | T |
| 91933 | F | F | F | * | T | T |
| 99758 | T | * | * | * | * | T |
| 99759 | T | T | * | * | * | T |
| 99760 | F | F | T | T | * | T |
| 99761 | T | * | F | * | T | T |
| 99762 | F | F | F | * | T | T |
| 108247 | T | * | * | * | * | T |
| 108248 | T | T | * | * | * | T |
| 108249 | F | F | T | T | * | T |
| 108250 | T | * | F | * | T | T |
| 108251 | F | F | F | * | T | T |
| 116273 | T | * | * | * | * | T |
| 116274 | T | T | * | * | * | T |
| 116275 | F | F | T | T | * | T |
| 116276 | T | * | F | * | T | T |
| 116277 | F | F | F | * | T | T |
| 124346 | F | F | F | * | T | T |
| 141065 | F | F | F | * | T | T |
| 158151 | F | F | T | T | * | T |
| 158152 | * | * | T | T | * | T |
| 158153 | * | * | T | T | * | T |
| 158154 | * | * | T | T | * | T |
| 158155 | * | * | T | T | * | T |
| 158156 | T | * | F | * | T | T |
| 158157 | F | F | T | T | * | T |
| 158158 | * | * | T | T | * | T |
| 158159 | * | * | T | T | * | T |
| 158160 | * | * | T | T | * | T |
| 158161 | T | * | F | * | T | T |
| 158162 | T | * | * | * | * | T |
| 158163 | F | F | T | T | * | T |
| 158164 | * | * | T | T | * | T |
| 158165 | * | * | T | T | * | T |
| 158166 | T | * | F | * | T | T |
| 158167 | T | * | * | * | * | T |
| 158168 | T | * | * | * | * | T |
| 158169 | F | F | T | T | * | T |
| 158170 | * | * | T | T | * | T |
| 158171 | T | * | F | * | T | T |
| 158172 | T | * | * | * | * | T |
| 158173 | T | * | * | * | * | T |
| 158174 | T | * | * | * | * | T |
| 158175 | F | F | T | T | * | T |
| 158176 | T | * | F | * | T | T |
| 158177 | T | * | * | * | * | T |
| 158178 | T | * | * | * | * | T |
| 158179 | T | * | * | * | * | T |
| 158180 | T | * | * | * | * | T |
| 158181 | F | F | F | * | T | T |
| 168009 | F | F | T | T | * | T |
| 168010 | * | * | T | T | * | T |
| 168011 | * | * | T | T | * | T |
| 168012 | * | * | T | T | * | T |
| 168013 | * | * | T | T | * | T |
| 168014 | T | * | F | * | T | T |
| 168015 | F | F | T | T | * | T |
| 168016 | * | * | T | T | * | T |
| 168017 | * | * | T | T | * | T |
| 168018 | * | * | T | T | * | T |
| 168019 | T | * | F | * | T | T |
| 168020 | T | * | * | * | * | T |
| 168021 | F | F | T | T | * | T |
| 168022 | * | * | T | T | * | T |
| 168023 | * | * | T | T | * | T |
| 168024 | T | * | F | * | T | T |
| 168025 | T | * | * | * | * | T |
| 168026 | T | * | * | * | * | T |
| 168027 | F | F | T | T | * | T |
| 168028 | * | * | T | T | * | T |
| 168029 | T | * | F | * | T | T |
| 168030 | T | * | * | * | * | T |
| 168031 | T | * | * | * | * | T |
| 168032 | T | * | * | * | * | T |
| 168033 | F | F | T | T | * | T |
| 168034 | T | * | F | * | T | T |
| 168035 | T | * | * | * | * | T |
| 168036 | T | * | * | * | * | T |
| 168037 | T | * | * | * | * | T |
| 168038 | T | * | * | * | * | T |
| 168039 | F | F | F | * | T | T |
| 176435 | F | F | F | * | T | T |
| 176436 | T | T | * | * | * | T |
| 176437 | T | T | * | * | * | T |
| 181157 | F | F | F | * | T | T |
| 184476 | F | F | F | * | T | T |
| 187584 | F | F | F | * | T | T |
| 191118 | F | F | F | * | T | T |
| 196386 | T | T | * | * | * | T |
| 196387 | T | T | * | * | * | T |
| 196388 | F | F | F | * | T | T |
| 203245 | F | F | F | * | T | T |
| 207728 | T | T | * | * | * | T |
| 207729 | F | F | F | * | T | T |
| 215600 | F | F | F | * | T | T |
| 224067 | F | F | F | * | T | T |
| 301444 | F | F | F | * | T | T |
| 377040 | F | F | F | * | T | T |
| 379697 | F | F | F | * | T | T |
| 382581 | F | F | F | * | T | T |
Independent-effect pairs
c0(branch3468): GAP view gap →<alloc::vec::Vec<alloc::string::String> as alloc::vec::spec_from_iter_nested::SpecFromIterNested<alloc::string::String, core::iter::adapters::map::Map<core::iter::adapters::filter::Filter<core::slice::iter::Iter<(u32, alloc::string::String)>, scry_analyze_core::build_function_meta::{closure#0}>, scry_analyze_core::build_function_meta::{closure#1}>>>::from_iter· br_if
inlined: lib.rs:3111 ← library/alloc/src/vec/mod.rs:2860c1(branch3469): GAP view gap →<alloc::vec::Vec<alloc::string::String> as alloc::vec::spec_from_iter_nested::SpecFromIterNested<alloc::string::String, core::iter::adapters::map::Map<core::iter::adapters::filter::Filter<core::slice::iter::Iter<(u32, alloc::string::String)>, scry_analyze_core::build_function_meta::{closure#0}>, scry_analyze_core::build_function_meta::{closure#1}>>>::from_iter· br_if
inlined: lib.rs:3111 ← library/alloc/src/vec/mod.rs:2860c2(branch3472): GAP view gap →<alloc::vec::Vec<alloc::string::String> as alloc::vec::spec_from_iter_nested::SpecFromIterNested<alloc::string::String, core::iter::adapters::map::Map<core::iter::adapters::filter::Filter<core::slice::iter::Iter<(u32, alloc::string::String)>, scry_analyze_core::build_function_meta::{closure#0}>, scry_analyze_core::build_function_meta::{closure#1}>>>::from_iter· br_if
inlined: lib.rs:3112 ← library/alloc/src/vec/mod.rs:2860c3(branch3473): GAP view gap →<alloc::vec::Vec<alloc::string::String> as alloc::vec::spec_from_iter_nested::SpecFromIterNested<alloc::string::String, core::iter::adapters::map::Map<core::iter::adapters::filter::Filter<core::slice::iter::Iter<(u32, alloc::string::String)>, scry_analyze_core::build_function_meta::{closure#0}>, scry_analyze_core::build_function_meta::{closure#1}>>>::from_iter· br_if
inlined: lib.rs:3112 ← library/alloc/src/vec/mod.rs:2860c4(branch3474): GAP view gap →<alloc::vec::Vec<alloc::string::String> as alloc::vec::spec_from_iter_nested::SpecFromIterNested<alloc::string::String, core::iter::adapters::map::Map<core::iter::adapters::filter::Filter<core::slice::iter::Iter<(u32, alloc::string::String)>, scry_analyze_core::build_function_meta::{closure#0}>, scry_analyze_core::build_function_meta::{closure#1}>>>::from_iter· br_if