Decision #832 — library/alloc/src/vec/mod.rs:1038
Status: no_witness
Truth table
| row | c0 br 5632 | c1 br 5633 | outcome |
|---|---|---|---|
| 31344 | F | F | F |
| 31345 | F | F | F |
| 31346 | F | F | F |
| 31347 | F | F | F |
| 31348 | F | F | F |
| 31349 | F | F | F |
| 31350 | F | F | F |
| 31351 | F | F | F |
| 31352 | F | F | F |
| 31353 | F | F | F |
| 31354 | F | F | F |
| 31355 | F | F | F |
| 31356 | F | F | F |
| 31357 | F | F | F |
| 31358 | F | F | F |
| 31359 | F | F | F |
| 31360 | F | F | F |
| 31361 | F | F | F |
| 31362 | F | F | F |
| 31363 | F | F | F |
| 31364 | F | F | F |
| 31365 | F | F | F |
| 31366 | F | F | F |
| 31367 | F | F | F |
| 31368 | F | F | F |
| 31369 | F | F | F |
| 31370 | F | F | F |
| 31371 | F | F | F |
| 31372 | F | F | F |
| 31373 | F | F | F |
| 52198 | F | F | F |
| 52199 | F | F | F |
| 52200 | F | F | F |
| 52201 | F | F | F |
| 52202 | F | F | F |
| 52203 | F | F | F |
| 52204 | F | F | F |
| 52205 | F | F | F |
| 52206 | F | F | F |
| 52207 | F | F | F |
| 52208 | F | F | F |
| 52209 | F | F | F |
| 52210 | F | F | F |
| 52211 | F | F | F |
| 52212 | F | F | F |
| 52213 | F | F | F |
| 52214 | F | F | F |
| 52215 | F | F | F |
| 52216 | F | F | F |
| 52217 | F | F | F |
| 52218 | F | F | F |
| 52219 | F | F | F |
| 52220 | F | F | F |
| 52221 | F | F | F |
| 52222 | F | F | F |
| 52223 | F | F | F |
| 52224 | F | F | F |
| 52225 | F | F | F |
| 52226 | F | F | F |
| 52227 | F | F | F |
| 73226 | F | F | F |
| 73227 | F | F | F |
| 73228 | F | F | F |
| 73229 | F | F | F |
| 73230 | F | F | F |
| 73231 | F | F | F |
| 73232 | F | F | F |
| 73233 | F | F | F |
| 73234 | F | F | F |
| 73235 | F | F | F |
| 73236 | F | F | F |
| 73237 | F | F | F |
| 73238 | F | F | F |
| 73239 | F | F | F |
| 73240 | F | F | F |
| 73241 | F | F | F |
| 73242 | F | F | F |
| 73243 | F | F | F |
| 73244 | F | F | F |
| 73245 | F | F | F |
| 73246 | F | F | F |
| 73247 | F | F | F |
| 73248 | F | F | F |
| 73249 | F | F | F |
| 73250 | F | F | F |
| 73251 | F | F | F |
| 73252 | F | F | F |
| 73253 | F | F | F |
| 73254 | F | F | F |
| 73255 | F | F | F |
| 73256 | F | F | F |
| 73257 | F | F | F |
| 73258 | F | F | F |
| 73259 | F | F | F |
| 73260 | F | F | F |
| 73261 | F | F | F |
| 73262 | F | F | F |
| 83109 | F | F | F |
| 83110 | F | F | F |
| 83111 | F | F | F |
| 83112 | F | F | F |
| 83113 | F | F | F |
| 83114 | F | F | F |
| 83115 | F | F | F |
| 83116 | F | F | F |
| 83117 | F | F | F |
| 83118 | F | F | F |
| 83119 | F | F | F |
| 83120 | F | F | F |
| 83121 | F | F | F |
| 83122 | F | F | F |
| 83123 | F | F | F |
| 83124 | F | F | F |
| 83125 | F | F | F |
| 83126 | F | F | F |
| 83127 | F | F | F |
| 83128 | F | F | F |
| 83129 | F | F | F |
| 83130 | F | F | F |
| 83131 | F | F | F |
| 83132 | F | F | F |
| 83133 | F | F | F |
| 83134 | F | F | F |
| 83135 | F | F | F |
| 83136 | F | F | F |
| 83137 | F | F | F |
| 83138 | F | F | F |
| 83139 | F | F | F |
| 83140 | F | F | F |
| 83141 | F | F | F |
| 83142 | F | F | F |
| 83143 | F | F | F |
| 83144 | F | F | F |
| 83145 | F | F | F |
| 125155 | F | F | F |
| 125156 | F | F | F |
| 125157 | F | F | F |
| 125158 | F | F | F |
| 125159 | F | F | F |
| 125160 | F | F | F |
| 125161 | F | F | F |
| 125162 | F | F | F |
| 125163 | F | F | F |
| 125164 | F | F | F |
| 125165 | F | F | F |
| 125166 | F | F | F |
| 125167 | F | F | F |
| 125168 | F | F | F |
| 125169 | F | F | F |
| 125170 | F | F | F |
| 125171 | F | F | F |
| 125172 | F | F | F |
| 125173 | F | F | F |
| 125174 | F | F | F |
| 125175 | F | F | F |
| 125176 | F | F | F |
| 125177 | F | F | F |
| 125178 | F | F | F |
| 125179 | F | F | F |
| 125180 | F | F | F |
| 125181 | F | F | F |
| 125182 | F | F | F |
| 125183 | F | F | F |
| 125184 | F | F | F |
| 125185 | F | F | F |
| 125186 | F | F | F |
| 125187 | F | F | F |
| 125188 | F | F | F |
| 125189 | F | F | F |
| 125190 | F | F | F |
| 125191 | F | F | F |
| 125192 | F | F | F |
| 125193 | F | F | F |
| 125194 | F | F | F |
| 125195 | F | F | F |
| 141874 | F | F | F |
| 141875 | F | F | F |
| 141876 | F | F | F |
| 141877 | F | F | F |
| 141878 | F | F | F |
| 141879 | F | F | F |
| 141880 | F | F | F |
| 141881 | F | F | F |
| 141882 | F | F | F |
| 141883 | F | F | F |
| 141884 | F | F | F |
| 141885 | F | F | F |
| 141886 | F | F | F |
| 141887 | F | F | F |
| 141888 | F | F | F |
| 141889 | F | F | F |
| 141890 | F | F | F |
| 141891 | F | F | F |
| 141892 | F | F | F |
| 141893 | F | F | F |
| 141894 | F | F | F |
| 141895 | F | F | F |
| 141896 | F | F | F |
| 141897 | F | F | F |
| 141898 | F | F | F |
| 141899 | F | F | F |
| 141900 | F | F | F |
| 141901 | F | F | F |
| 141902 | F | F | F |
| 141903 | F | F | F |
| 141904 | F | F | F |
| 141905 | F | F | F |
| 141906 | F | F | F |
| 141907 | F | F | F |
| 141908 | F | F | F |
| 141909 | F | F | F |
| 141910 | F | F | F |
| 141911 | F | F | F |
| 141912 | F | F | F |
| 141913 | F | F | F |
| 141914 | F | F | F |
| 216265 | F | F | F |
| 216266 | F | F | F |
| 225147 | F | F | F |
| 225148 | F | F | F |
| 225149 | F | F | F |
| 225150 | F | F | F |
| 225151 | F | F | F |
| 225152 | F | F | F |
| 225153 | F | F | F |
| 225154 | F | F | F |
| 225155 | F | F | F |
| 225156 | F | F | F |
| 225157 | F | F | F |
| 225158 | F | F | F |
| 225159 | F | F | F |
| 225160 | F | F | F |
| 225161 | F | F | F |
| 225162 | F | F | F |
| 225163 | F | F | F |
| 225164 | F | F | F |
| 225165 | F | F | F |
| 225166 | F | F | F |
| 225167 | F | F | F |
| 225168 | F | F | F |
| 225169 | F | F | F |
| 225170 | F | F | F |
| 225171 | F | F | F |
| 225172 | F | F | F |
| 225173 | F | F | F |
| 225174 | F | F | F |
| 225175 | F | F | F |
| 225176 | F | F | F |
| 225177 | F | F | F |
| 225178 | F | F | F |
| 225179 | F | F | F |
| 225180 | F | F | F |
| 225181 | F | F | F |
| 225182 | F | F | F |
| 225183 | F | F | F |
| 225184 | F | F | F |
| 225185 | F | F | F |
| 225186 | F | F | F |
| 225187 | F | F | F |
| 225188 | F | F | F |
| 225189 | F | F | F |
| 225190 | F | F | F |
| 225191 | F | F | F |
| 225192 | F | F | F |
| 225193 | F | F | F |
| 225194 | F | F | F |
| 225195 | F | F | F |
| 225196 | F | F | F |
| 225197 | F | F | F |
| 225198 | F | F | F |
| 225199 | F | F | F |
| 225200 | F | F | F |
| 225201 | F | F | F |
| 225202 | F | F | F |
| 225203 | F | F | F |
| 225204 | F | F | F |
| 302524 | F | F | F |
| 302525 | F | F | F |
| 302526 | F | F | F |
| 302527 | F | F | F |
| 302528 | F | F | F |
| 302529 | F | F | F |
| 302530 | F | F | F |
| 302531 | F | F | F |
| 302532 | F | F | F |
| 302533 | F | F | F |
| 302534 | F | F | F |
| 302535 | F | F | F |
| 302536 | F | F | F |
| 302537 | F | F | F |
| 302538 | F | F | F |
| 302539 | F | F | F |
| 302540 | F | F | F |
| 302541 | F | F | F |
| 302542 | F | F | F |
| 302543 | F | F | F |
| 302544 | F | F | F |
| 302545 | F | F | F |
| 302546 | F | F | F |
| 302547 | F | F | F |
| 302548 | F | F | F |
| 302549 | F | F | F |
| 302550 | F | F | F |
| 302551 | F | F | F |
| 302552 | F | F | F |
| 302553 | F | F | F |
| 302554 | F | F | F |
| 302555 | F | F | F |
| 302556 | F | F | F |
| 302557 | F | F | F |
| 302558 | F | F | F |
| 302559 | F | F | F |
| 302560 | F | F | F |
| 302561 | F | F | F |
| 302562 | F | F | F |
| 302563 | F | F | F |
| 302564 | F | F | F |
| 302565 | F | F | F |
| 302566 | F | F | F |
| 302567 | F | F | F |
| 302568 | F | F | F |
| 302569 | F | F | F |
| 302570 | F | F | F |
| 302571 | F | F | F |
| 302572 | F | F | F |
| 302573 | F | F | F |
| 302574 | F | F | F |
| 302575 | F | F | F |
| 302576 | F | F | F |
| 302577 | F | F | F |
| 302578 | F | F | F |
| 302579 | F | F | F |
| 302580 | F | F | F |
| 302581 | F | F | F |
Independent-effect pairs
c0(branch5632): GAP view gap →<alloc::vec::Vec<i64> as core::clone::Clone>::clone· br_ifc1(branch5633): GAP view gap →<alloc::vec::Vec<i64> as core::clone::Clone>::clone· br_if