Decision #25 — library/alloc/src/raw_vec/mod.rs:614
Status: no_witness
Truth table
| row | c0 br 183 | c1 br 184 | outcome |
|---|---|---|---|
| 58 | T | T | T |
| 3098 | T | T | T |
| 5993 | T | T | T |
| 9414 | T | T | T |
| 10562 | T | T | T |
| 11653 | T | T | T |
| 12853 | T | T | T |
| 20571 | T | T | T |
| 28240 | T | T | T |
| 34178 | T | T | T |
| 40083 | T | T | T |
| 43051 | T | T | T |
| 46504 | T | T | T |
| 49623 | T | T | T |
| 52616 | T | T | T |
| 62388 | T | T | T |
| 72196 | T | T | T |
| 75671 | T | T | T |
| 79054 | T | T | T |
| 80644 | T | T | T |
| 81831 | T | T | T |
| 82893 | T | T | T |
| 84087 | T | T | T |
| 85387 | T | T | T |
| 87488 | T | T | T |
| 88707 | T | T | T |
| 90705 | T | T | T |
| 92215 | T | T | T |
| 111078 | T | T | T |
| 129856 | T | T | T |
| 131015 | T | T | T |
| 132342 | T | T | T |
Independent-effect pairs
c0(branch183): GAP view gap →<alloc::vec::Vec<T> as alloc::vec::spec_from_iter_nested::SpecFromIterNested<T,I>>::from_iter· br_if
inlined: lib.rs:3369 ← library/alloc/src/vec/mod.rs:2823 ← library/alloc/src/vec/mod.rs:1941 ← library/alloc/src/raw_vec/mod.rs:296 ← library/alloc/src/raw_vec/mod.rs:609c1(branch184): GAP view gap →<alloc::vec::Vec<T> as alloc::vec::spec_from_iter_nested::SpecFromIterNested<T,I>>::from_iter· br_if
inlined: library/alloc/src/vec/mod.rs:1876 ← library/alloc/src/vec/mod.rs:2025 ← library/alloc/src/raw_vec/mod.rs:296 ← library/alloc/src/raw_vec/mod.rs:609