Decision #494 — library/core/src/option.rs:2940
Status: no_witness
Truth table
| row | c0 br 3470 | c1 br 3471 | c2 br 3475 | c3 br 3476 | outcome |
|---|---|---|---|---|---|
| 996 | T | * | * | * | T |
| 997 | T | * | * | * | T |
| 998 | T | * | * | * | T |
| 999 | F | F | T | * | T |
| 1000 | F | F | T | * | T |
| 7956 | T | * | * | * | T |
| 7957 | T | * | * | * | T |
| 7958 | T | * | * | * | T |
| 7959 | F | F | T | * | T |
| 7960 | F | F | T | * | T |
| 14757 | T | * | * | * | T |
| 14758 | T | * | * | * | T |
| 14759 | T | * | * | * | T |
| 14760 | F | F | T | * | T |
| 14761 | F | F | T | * | T |
| 21652 | F | F | T | * | T |
| 24395 | F | F | T | * | T |
| 27038 | F | F | T | * | T |
| 30608 | F | F | T | * | T |
| 51463 | F | F | T | * | T |
| 72388 | F | F | T | * | T |
| 82271 | F | F | T | * | T |
| 91926 | T | * | * | * | T |
| 91927 | F | F | T | * | T |
| 91928 | F | F | T | * | T |
| 99755 | T | * | * | * | T |
| 99756 | F | F | T | * | T |
| 99757 | F | F | T | * | T |
| 108244 | T | * | * | * | T |
| 108245 | F | F | T | * | T |
| 108246 | F | F | T | * | T |
| 116270 | T | * | * | * | T |
| 116271 | F | F | T | * | T |
| 116272 | F | F | T | * | T |
| 124345 | F | F | T | * | T |
| 141064 | F | F | T | * | T |
| 158145 | F | F | T | * | T |
| 158146 | F | F | T | * | T |
| 158147 | F | F | T | * | T |
| 158148 | F | F | T | * | T |
| 158149 | F | F | T | * | T |
| 158150 | F | F | T | * | T |
| 168003 | F | F | T | * | T |
| 168004 | F | F | T | * | T |
| 168005 | F | F | T | * | T |
| 168006 | F | F | T | * | T |
| 168007 | F | F | T | * | T |
| 168008 | F | F | T | * | T |
| 176432 | F | F | T | * | T |
| 176433 | T | * | * | * | T |
| 176434 | T | * | * | * | T |
| 181156 | F | F | T | * | T |
| 184475 | F | F | T | * | T |
| 187583 | F | F | T | * | T |
| 191117 | F | F | T | * | T |
| 196383 | T | * | * | * | T |
| 196384 | T | * | * | * | T |
| 196385 | F | F | T | * | T |
| 203244 | F | F | T | * | T |
| 207726 | T | * | * | * | T |
| 207727 | F | F | T | * | T |
| 215599 | F | F | T | * | T |
| 224066 | F | F | T | * | T |
| 301443 | F | F | T | * | T |
| 377039 | F | F | T | * | T |
| 379696 | F | F | T | * | T |
| 382580 | F | F | T | * | T |
Independent-effect pairs
c0(branch3470): 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:3111c1(branch3471): 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:3111c2(branch3475): 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:3112c3(branch3476): DEAD 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