Decision #1346 — library/alloc/src/vec/set_len_on_drop.rs:14
Status: partial
Truth table
| row | c0 br 1333 | c1 br 1334 | c2 br 1335 | c3 br 1336 | c4 br 1337 | c5 br 1338 | c6 br 1339 | c7 br 1340 | c8 br 1341 | outcome |
|---|
Independent-effect pairs
c0(branch1333): DEAD view gap →<core::slice::iter::Iter<scry_analyze_core::DefinedFunc> as core::iter::traits::iterator::Iterator>::any::<scry_analyze_core::analyze::{closure#21}>· br_table_target
inlined: library/alloc/src/vec/mod.rs:4061c1(branch1334): DEAD view gap →<core::slice::iter::Iter<scry_analyze_core::DefinedFunc> as core::iter::traits::iterator::Iterator>::any::<scry_analyze_core::analyze::{closure#21}>· br_table_target
inlined: library/alloc/src/vec/mod.rs:4061c2(branch1335): DEAD view gap →<core::slice::iter::Iter<scry_analyze_core::DefinedFunc> as core::iter::traits::iterator::Iterator>::any::<scry_analyze_core::analyze::{closure#21}>· br_table_target
inlined: library/alloc/src/vec/mod.rs:4061c3(branch1336): DEAD view gap →<core::slice::iter::Iter<scry_analyze_core::DefinedFunc> as core::iter::traits::iterator::Iterator>::any::<scry_analyze_core::analyze::{closure#21}>· br_table_target
inlined: library/alloc/src/vec/mod.rs:4061c4(branch1337): DEAD view gap →<core::slice::iter::Iter<scry_analyze_core::DefinedFunc> as core::iter::traits::iterator::Iterator>::any::<scry_analyze_core::analyze::{closure#21}>· br_table_target
inlined: library/alloc/src/vec/mod.rs:4061c5(branch1338): DEAD view gap →<core::slice::iter::Iter<scry_analyze_core::DefinedFunc> as core::iter::traits::iterator::Iterator>::any::<scry_analyze_core::analyze::{closure#21}>· br_table_target
inlined: library/alloc/src/vec/mod.rs:4061c6(branch1339): DEAD view gap →<core::slice::iter::Iter<scry_analyze_core::DefinedFunc> as core::iter::traits::iterator::Iterator>::any::<scry_analyze_core::analyze::{closure#21}>· br_table_target
inlined: library/alloc/src/vec/mod.rs:4061c7(branch1340): DEAD view gap →<core::slice::iter::Iter<scry_analyze_core::DefinedFunc> as core::iter::traits::iterator::Iterator>::any::<scry_analyze_core::analyze::{closure#21}>· br_table_target
inlined: library/alloc/src/vec/mod.rs:4061c8(branch1341): PROVED<core::slice::iter::Iter<scry_analyze_core::DefinedFunc> as core::iter::traits::iterator::Iterator>::any::<scry_analyze_core::analyze::{closure#21}>· br_table_default
inlined: library/alloc/src/vec/mod.rs:4061