Decision #1621 — library/alloc/src/vec/set_len_on_drop.rs:19
Status: unreached
Truth table
| row | c0 br 2924 | c1 br 2925 | c2 br 2926 | outcome |
|---|
Independent-effect pairs
c0(branch2924): DEAD view gap →<scry_analyze_core::Interp>::seq· br_table_target
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/core/src/iter/adapters/enumerate.rs:146 ← library/alloc/src/vec/mod.rs:4082c1(branch2925): DEAD view gap →<scry_analyze_core::Interp>::seq· br_table_target
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/core/src/iter/adapters/enumerate.rs:146 ← library/alloc/src/vec/mod.rs:4082c2(branch2926): DEAD view gap →<scry_analyze_core::Interp>::seq· br_table_default
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/core/src/iter/adapters/enumerate.rs:146 ← library/alloc/src/vec/mod.rs:4082