Decision #365 — library/core/src/ptr/mod.rs:1933
Status: no_witness
Truth table
| row | c0 br 2039 | c1 br 2040 | c2 br 2041 | outcome |
|---|---|---|---|---|
| 118141 | F | F | * | F |
| 141077 | F | F | * | F |
Independent-effect pairs
c0(branch2039): GAP view gap →<scry_analyze_core::Interp>::seq· 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:4062 ← library/core/src/iter/traits/iterator.rs:887 ← library/core/src/iter/adapters/map.rs:128c1(branch2040): GAP view gap →<scry_analyze_core::Interp>::seq· 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:4062 ← library/core/src/iter/traits/iterator.rs:887 ← library/core/src/iter/adapters/map.rs:128c2(branch2041): DEAD view gap →<scry_analyze_core::Interp>::seq· 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:4062 ← library/core/src/iter/traits/iterator.rs:887 ← library/core/src/iter/adapters/map.rs:128