Decision #128 — library/alloc/src/vec/set_len_on_drop.rs:19
Status: no_witness
Truth table
| row | c0 br 713 | c1 br 1011 | outcome |
|---|---|---|---|
| 40542 | * | T | T |
| 40543 | * | T | T |
| 40544 | * | F | T |
| 40545 | * | F | T |
| 43510 | * | T | T |
| 43511 | * | T | T |
| 43512 | * | F | T |
| 43513 | * | F | T |
| 46963 | * | T | T |
| 46964 | * | T | T |
| 46965 | * | T | T |
| 46966 | * | T | T |
| 50082 | * | T | T |
| 50083 | * | T | T |
| 50084 | * | F | T |
| 50085 | * | F | T |
| 79219 | * | T | T |
| 79220 | * | F | T |
Independent-effect pairs
c0(branch713): 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:4027 ← library/core/src/iter/traits/iterator.rs:889 ← library/core/src/iter/adapters/map.rs:128 ← library/core/src/iter/adapters/enumerate.rs:146 ← library/alloc/src/vec/mod.rs:4032c1(branch1011): 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:4027 ← library/core/src/iter/traits/iterator.rs:889 ← library/core/src/iter/adapters/map.rs:128 ← library/core/src/iter/adapters/enumerate.rs:146 ← library/alloc/src/vec/mod.rs:4032