Decision #23 — library/core/src/ptr/mod.rs:1921
Status: no_witness
Truth table
| row | c0 br 164 | c1 br 165 | outcome |
|---|---|---|---|
| 56 | T | T | T |
| 57 | * | T | T |
| 3096 | T | T | T |
| 3097 | * | T | T |
| 5991 | T | T | T |
| 5992 | * | T | T |
| 9413 | * | T | T |
| 10561 | * | T | T |
| 11652 | * | T | T |
| 12848 | * | T | T |
| 20566 | * | T | T |
| 28235 | * | T | T |
| 34173 | * | T | T |
| 40081 | T | T | T |
| 40082 | * | T | T |
| 43049 | T | T | T |
| 43050 | * | T | T |
| 46502 | T | T | T |
| 46503 | * | T | T |
| 49621 | T | T | T |
| 49622 | * | T | T |
| 52611 | * | T | T |
| 62383 | * | T | T |
| 72180 | T | * | T |
| 72181 | T | * | T |
| 72182 | T | * | T |
| 72183 | T | * | T |
| 72184 | T | T | T |
| 72185 | T | * | T |
| 72186 | T | * | T |
| 72187 | T | * | T |
| 72188 | T | T | T |
| 72189 | T | * | T |
| 72190 | T | * | T |
| 72191 | T | T | T |
| 72192 | T | * | T |
| 72193 | T | T | T |
| 72194 | T | T | T |
| 72195 | * | T | T |
| 75655 | T | * | T |
| 75656 | T | * | T |
| 75657 | T | * | T |
| 75658 | T | * | T |
| 75659 | T | T | T |
| 75660 | T | * | T |
| 75661 | T | * | T |
| 75662 | T | * | T |
| 75663 | T | T | T |
| 75664 | T | * | T |
| 75665 | T | * | T |
| 75666 | T | T | T |
| 75667 | T | * | T |
| 75668 | T | T | T |
| 75669 | T | T | T |
| 75670 | * | T | T |
| 79053 | * | T | T |
| 80643 | * | T | T |
| 81830 | * | T | T |
| 82892 | * | T | T |
| 84086 | * | T | T |
| 85386 | * | T | T |
| 87487 | * | T | T |
| 88706 | * | T | T |
| 90704 | * | T | T |
| 92206 | * | T | T |
| 111069 | * | T | T |
| 129855 | * | T | T |
| 131014 | * | T | T |
| 132341 | * | T | T |
Independent-effect pairs
c0(branch164): GAP view gap →<alloc::vec::Vec<T> as alloc::vec::spec_from_iter_nested::SpecFromIterNested<T,I>>::from_iter· br_if
inlined: library/core/src/iter/adapters/map.rs:128c1(branch165): GAP view gap →<alloc::vec::Vec<T> as alloc::vec::spec_from_iter_nested::SpecFromIterNested<T,I>>::from_iter· br_if
inlined: library/core/src/iter/adapters/map.rs:128