Decision #19 — library/alloc/src/raw_vec/mod.rs:434
Status: no_witness
Truth table
| row | c0 br 118 | c1 br 120 | outcome |
|---|---|---|---|
| 12812 | T | * | T |
| 12813 | F | F | T |
| 12814 | T | F | T |
| 12815 | F | F | T |
| 12816 | F | F | T |
| 12817 | * | F | T |
| 12818 | T | F | T |
| 12819 | F | F | T |
| 12820 | F | F | T |
| 12821 | * | F | T |
| 12822 | T | F | T |
| 12823 | F | F | T |
| 12824 | F | F | T |
| 12825 | * | F | T |
| 12826 | T | F | T |
| 12827 | F | F | T |
| 12828 | T | F | T |
| 12829 | F | F | T |
| 12830 | T | F | T |
| 12831 | F | F | T |
| 12832 | F | F | T |
| 12833 | * | F | T |
| 12834 | T | F | T |
| 12835 | F | F | T |
| 12836 | F | F | T |
| 12837 | * | F | T |
| 12838 | T | F | T |
| 12839 | F | F | T |
| 12840 | F | F | T |
| 12841 | * | F | T |
| 12842 | T | F | T |
| 12843 | F | F | T |
| 12844 | * | F | T |
| 20530 | T | * | T |
| 20531 | F | F | T |
| 20532 | T | F | T |
| 20533 | F | F | T |
| 20534 | F | F | T |
| 20535 | * | F | T |
| 20536 | T | F | T |
| 20537 | F | F | T |
| 20538 | F | F | T |
| 20539 | * | F | T |
| 20540 | T | F | T |
| 20541 | F | F | T |
| 20542 | F | F | T |
| 20543 | * | F | T |
| 20544 | T | F | T |
| 20545 | F | F | T |
| 20546 | T | F | T |
| 20547 | F | F | T |
| 20548 | T | F | T |
| 20549 | F | F | T |
| 20550 | F | F | T |
| 20551 | * | F | T |
| 20552 | T | F | T |
| 20553 | F | F | T |
| 20554 | F | F | T |
| 20555 | * | F | T |
| 20556 | T | F | T |
| 20557 | F | F | T |
| 20558 | F | F | T |
| 20559 | * | F | T |
| 20560 | T | F | T |
| 20561 | F | F | T |
| 20562 | * | F | T |
| 28176 | T | * | T |
| 28177 | F | F | T |
| 28178 | T | * | T |
| 28179 | F | F | T |
| 28180 | F | F | T |
| 28181 | T | * | T |
| 28182 | F | F | T |
| 28183 | F | F | T |
| 28184 | T | * | T |
| 28185 | F | F | T |
| 28186 | F | F | T |
| 28187 | T | * | T |
| 28188 | F | F | T |
| 28189 | F | F | T |
| 28190 | T | * | T |
| 28191 | F | F | T |
| 28192 | F | F | T |
| 28193 | T | * | T |
| 28194 | F | F | T |
| 28195 | F | F | T |
| 28196 | T | * | T |
| 28197 | F | F | T |
| 28198 | F | F | T |
| 28199 | T | * | T |
| 28200 | F | F | T |
| 28201 | F | F | T |
| 28202 | T | * | T |
| 28203 | F | F | T |
| 28204 | T | * | T |
| 28205 | F | F | T |
| 28206 | T | * | T |
| 28207 | F | F | T |
| 28208 | F | F | T |
| 28209 | T | * | T |
| 28210 | F | F | T |
| 28211 | F | F | T |
| 28212 | T | * | T |
| 28213 | F | F | T |
| 28214 | F | F | T |
| 28215 | T | * | T |
| 28216 | F | F | T |
| 28217 | F | F | T |
| 28218 | T | * | T |
| 28219 | F | F | T |
| 28220 | F | F | T |
| 28221 | T | * | T |
| 28222 | F | F | T |
| 28223 | F | F | T |
| 28224 | T | * | T |
| 28225 | F | F | T |
| 28226 | F | F | T |
| 28227 | T | * | T |
| 28228 | F | F | T |
| 28229 | F | F | T |
| 28230 | T | * | T |
| 28231 | F | F | T |
| 34114 | T | * | T |
| 34115 | F | F | T |
| 34116 | T | * | T |
| 34117 | F | F | T |
| 34118 | F | F | T |
| 34119 | T | * | T |
| 34120 | F | F | T |
| 34121 | F | F | T |
| 34122 | T | * | T |
| 34123 | F | F | T |
| 34124 | F | F | T |
| 34125 | T | * | T |
| 34126 | F | F | T |
| 34127 | F | F | T |
| 34128 | T | * | T |
| 34129 | F | F | T |
| 34130 | F | F | T |
| 34131 | T | * | T |
| 34132 | F | F | T |
| 34133 | F | F | T |
| 34134 | T | * | T |
| 34135 | F | F | T |
| 34136 | F | F | T |
| 34137 | T | * | T |
| 34138 | F | F | T |
| 34139 | F | F | T |
| 34140 | T | * | T |
| 34141 | F | F | T |
| 34142 | T | * | T |
| 34143 | F | F | T |
| 34144 | T | * | T |
| 34145 | F | F | T |
| 34146 | F | F | T |
| 34147 | T | * | T |
| 34148 | F | F | T |
| 34149 | F | F | T |
| 34150 | T | * | T |
| 34151 | F | F | T |
| 34152 | F | F | T |
| 34153 | T | * | T |
| 34154 | F | F | T |
| 34155 | F | F | T |
| 34156 | T | * | T |
| 34157 | F | F | T |
| 34158 | F | F | T |
| 34159 | T | * | T |
| 34160 | F | F | T |
| 34161 | F | F | T |
| 34162 | T | * | T |
| 34163 | F | F | T |
| 34164 | F | F | T |
| 34165 | T | * | T |
| 34166 | F | F | T |
| 34167 | F | F | T |
| 34168 | T | * | T |
| 34169 | F | F | T |
| 40070 | F | F | T |
| 40071 | F | F | T |
| 40072 | F | F | T |
| 40073 | F | F | T |
| 43038 | F | F | T |
| 43039 | F | F | T |
| 43040 | F | F | T |
| 43041 | F | F | T |
| 46491 | F | F | T |
| 46492 | F | F | T |
| 46493 | F | F | T |
| 46494 | F | F | T |
| 49610 | F | F | T |
| 49611 | F | F | T |
| 49612 | F | F | T |
| 49613 | F | F | T |
| 52567 | T | * | T |
| 52568 | F | F | T |
| 52569 | T | F | T |
| 52570 | F | F | T |
| 52571 | F | F | T |
| 52572 | * | F | T |
| 52573 | T | F | T |
| 52574 | F | F | T |
| 52575 | F | F | T |
| 52576 | * | F | T |
| 52577 | T | F | T |
| 52578 | F | F | T |
| 52579 | F | F | T |
| 52580 | * | F | T |
| 52581 | T | F | T |
| 52582 | F | F | T |
| 52583 | F | F | T |
| 52584 | * | F | T |
| 52585 | T | F | T |
| 52586 | F | F | T |
| 52587 | T | F | T |
| 52588 | F | F | T |
| 52589 | T | F | T |
| 52590 | F | F | T |
| 52591 | F | F | T |
| 52592 | * | F | T |
| 52593 | T | F | T |
| 52594 | F | F | T |
| 52595 | F | F | T |
| 52596 | * | F | T |
| 52597 | T | F | T |
| 52598 | F | F | T |
| 52599 | F | F | T |
| 52600 | * | F | T |
| 52601 | T | F | T |
| 52602 | F | F | T |
| 52603 | F | F | T |
| 52604 | * | F | T |
| 52605 | T | F | T |
| 52606 | F | F | T |
| 52607 | * | F | T |
| 62339 | T | * | T |
| 62340 | F | F | T |
| 62341 | T | F | T |
| 62342 | F | F | T |
| 62343 | F | F | T |
| 62344 | * | F | T |
| 62345 | T | F | T |
| 62346 | F | F | T |
| 62347 | F | F | T |
| 62348 | * | F | T |
| 62349 | T | F | T |
| 62350 | F | F | T |
| 62351 | F | F | T |
| 62352 | * | F | T |
| 62353 | T | F | T |
| 62354 | F | F | T |
| 62355 | F | F | T |
| 62356 | * | F | T |
| 62357 | T | F | T |
| 62358 | F | F | T |
| 62359 | T | F | T |
| 62360 | F | F | T |
| 62361 | T | F | T |
| 62362 | F | F | T |
| 62363 | F | F | T |
| 62364 | * | F | T |
| 62365 | T | F | T |
| 62366 | F | F | T |
| 62367 | F | F | T |
| 62368 | * | F | T |
| 62369 | T | F | T |
| 62370 | F | F | T |
| 62371 | F | F | T |
| 62372 | * | F | T |
| 62373 | T | F | T |
| 62374 | F | F | T |
| 62375 | F | F | T |
| 62376 | * | F | T |
| 62377 | T | F | T |
| 62378 | F | F | T |
| 62379 | * | F | T |
| 79046 | T | * | T |
| 79047 | T | * | T |
| 92157 | T | * | T |
| 92158 | F | F | T |
| 92159 | T | F | T |
| 92160 | F | F | T |
| 92161 | F | F | T |
| 92162 | * | F | T |
| 92163 | T | F | T |
| 92164 | F | F | T |
| 92165 | T | F | T |
| 92166 | F | F | T |
| 92167 | T | F | T |
| 92168 | F | F | T |
| 92169 | T | F | T |
| 92170 | F | F | T |
| 92171 | T | F | T |
| 92172 | F | F | T |
| 92173 | T | F | T |
| 92174 | F | F | T |
| 92175 | T | F | T |
| 92176 | F | F | T |
| 92177 | T | F | T |
| 92178 | F | F | T |
| 92179 | T | F | T |
| 92180 | T | * | T |
| 92181 | F | F | T |
| 92182 | T | F | T |
| 92183 | F | F | T |
| 92184 | F | F | T |
| 92185 | * | F | T |
| 92186 | T | F | T |
| 92187 | F | F | T |
| 92188 | T | F | T |
| 92189 | F | F | T |
| 92190 | T | F | T |
| 92191 | F | F | T |
| 92192 | T | F | T |
| 92193 | F | F | T |
| 92194 | T | F | T |
| 92195 | F | F | T |
| 92196 | T | F | T |
| 92197 | F | F | T |
| 92198 | T | F | T |
| 92199 | F | F | T |
| 92200 | T | F | T |
| 92201 | F | F | T |
| 92202 | T | F | T |
| 111020 | T | * | T |
| 111021 | F | F | T |
| 111022 | T | F | T |
| 111023 | F | F | T |
| 111024 | F | F | T |
| 111025 | * | F | T |
| 111026 | T | F | T |
| 111027 | F | F | T |
| 111028 | T | F | T |
| 111029 | F | F | T |
| 111030 | T | F | T |
| 111031 | F | F | T |
| 111032 | T | F | T |
| 111033 | F | F | T |
| 111034 | T | F | T |
| 111035 | F | F | T |
| 111036 | T | F | T |
| 111037 | F | F | T |
| 111038 | T | F | T |
| 111039 | F | F | T |
| 111040 | T | F | T |
| 111041 | F | F | T |
| 111042 | T | F | T |
| 111043 | T | * | T |
| 111044 | F | F | T |
| 111045 | T | F | T |
| 111046 | F | F | T |
| 111047 | F | F | T |
| 111048 | * | F | T |
| 111049 | T | F | T |
| 111050 | F | F | T |
| 111051 | T | F | T |
| 111052 | F | F | T |
| 111053 | T | F | T |
| 111054 | F | F | T |
| 111055 | T | F | T |
| 111056 | F | F | T |
| 111057 | T | F | T |
| 111058 | F | F | T |
| 111059 | T | F | T |
| 111060 | F | F | T |
| 111061 | T | F | T |
| 111062 | F | F | T |
| 111063 | T | F | T |
| 111064 | F | F | T |
| 111065 | T | F | T |
Independent-effect pairs
c0(branch118): GAP view gap →<alloc::vec::Vec<T,A> as core::clone::Clone>::clone· br_ifc1(branch120): GAP view gap →<alloc::vec::Vec<T,A> as core::clone::Clone>::clone· br_if