Decision #419 — library/core/src/option.rs:2843
Status: no_witness
Truth table
| row | c0 br 2860 | c1 br 2861 | outcome |
|---|---|---|---|
| 503 | T | * | T |
| 504 | T | * | T |
| 4297 | T | * | T |
| 4298 | T | * | T |
| 8027 | T | * | T |
| 8028 | T | * | T |
| 11859 | T | * | T |
| 13235 | T | * | T |
| 14560 | T | * | T |
| 16410 | T | * | T |
| 25890 | T | * | T |
| 35520 | T | * | T |
| 41733 | T | * | T |
| 47728 | T | * | T |
| 47729 | T | * | T |
| 51897 | T | * | T |
| 51898 | T | * | T |
| 56435 | T | * | T |
| 56436 | T | * | T |
| 60652 | T | * | T |
| 60653 | T | * | T |
| 65006 | T | * | T |
| 76519 | T | * | T |
| 87972 | T | * | T |
| 87973 | T | * | T |
| 87974 | T | * | T |
| 87975 | T | * | T |
| 87976 | T | * | T |
| 87977 | T | * | T |
| 92240 | T | * | T |
| 92241 | T | * | T |
| 92242 | T | * | T |
| 92243 | T | * | T |
| 92244 | T | * | T |
| 92245 | T | * | T |
| 95959 | T | * | T |
| 97924 | T | * | T |
| 99441 | T | * | T |
| 100857 | T | * | T |
| 102527 | T | * | T |
| 105548 | T | * | T |
| 108906 | T | * | T |
| 111368 | T | * | T |
| 114394 | T | * | T |
| 118462 | T | * | T |
| 141398 | T | * | T |
| 163156 | T | * | T |
| 164727 | T | * | T |
| 166449 | T | * | T |
Independent-effect pairs
c0(branch2860): 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:2798c1(branch2861): 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:2798