Decision #944 — library/core/src/option.rs:1164
Status: partial
Truth table
| row | c0 br 136 | c1 br 137 | c2 br 138 | outcome |
|---|
Independent-effect pairs
c0(branch136): DEAD view gap →<core::iter::sources::from_fn::FromFn<F> as core::iter::traits::iterator::Iterator>::next· br_table_target
inlined: library/alloc/src/vec/spec_from_iter_nested.rs:41 ← library/alloc/src/vec/spec_extend.rs:18 ← library/alloc/src/vec/mod.rs:3995 ← library/core/src/iter/adapters/map.rs:107c1(branch137): DEAD view gap →<core::iter::sources::from_fn::FromFn<F> as core::iter::traits::iterator::Iterator>::next· br_table_target
inlined: library/alloc/src/vec/spec_from_iter_nested.rs:41 ← library/alloc/src/vec/spec_extend.rs:18 ← library/alloc/src/vec/mod.rs:3995 ← library/core/src/iter/adapters/map.rs:107c2(branch138): PROVED<core::iter::sources::from_fn::FromFn<F> as core::iter::traits::iterator::Iterator>::next· br_table_default
inlined: library/alloc/src/vec/spec_from_iter_nested.rs:41 ← library/alloc/src/vec/spec_extend.rs:18 ← library/alloc/src/vec/mod.rs:3995 ← library/core/src/iter/adapters/map.rs:107