Decision #1379 — library/core/src/ptr/mod.rs:1933
Status: partial
Truth table
| row | c0 br 3321 | c1 br 3322 | c2 br 3323 | c3 br 3324 | outcome |
|---|
Independent-effect pairs
c0(branch3321): PROVEDscry_analyze_core::compute_handle_findings· 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:4062 ← library/core/src/iter/traits/iterator.rs:887 ← library/core/src/iter/adapters/map.rs:128c1(branch3322): PROVEDscry_analyze_core::compute_handle_findings· 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:4062 ← library/core/src/iter/traits/iterator.rs:887 ← library/core/src/iter/adapters/map.rs:128c2(branch3323): DEAD view gap →scry_analyze_core::compute_handle_findings· 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:4062 ← library/core/src/iter/traits/iterator.rs:887 ← library/core/src/iter/adapters/map.rs:128c3(branch3324): PROVEDscry_analyze_core::compute_handle_findings· 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:4062 ← library/core/src/iter/traits/iterator.rs:887 ← library/core/src/iter/adapters/map.rs:128