Decision #559 — library/core/src/ptr/mod.rs:1939
Status: unreached
Truth table
| row | c0 br 3844 | c1 br 3845 | outcome |
|---|
Independent-effect pairs
c0(branch3844): DEAD view gap →scry_analyze_core::strip_rust_disambiguator· br_if
inlined: library/alloc/src/vec/spec_from_iter_nested.rs:60 ← library/alloc/src/vec/spec_extend.rs:27 ← library/alloc/src/vec/mod.rs:4077 ← library/core/src/iter/traits/iterator.rs:887 ← library/core/src/iter/adapters/map.rs:128 ← library/alloc/src/vec/mod.rs:4078c1(branch3845): DEAD view gap →scry_analyze_core::strip_rust_disambiguator· br_if
inlined: library/alloc/src/vec/spec_from_iter_nested.rs:60 ← library/alloc/src/vec/spec_extend.rs:27 ← library/alloc/src/vec/mod.rs:4077 ← library/core/src/iter/traits/iterator.rs:887 ← library/core/src/iter/adapters/map.rs:128 ← library/alloc/src/vec/mod.rs:4078