Decision #537 — library/alloc/src/raw_vec/mod.rs:425
Status: no_witness
Truth table
| row | c0 br 3782 | c1 br 3783 | outcome |
|---|---|---|---|
| 1152 | F | F | F |
| 1153 | F | F | F |
| 1154 | F | F | F |
| 1155 | F | F | F |
| 1156 | F | F | F |
| 1157 | F | F | F |
| 1158 | F | F | F |
| 1159 | F | F | F |
| 1160 | F | F | F |
| 1161 | F | F | F |
| 1162 | F | F | F |
| 1163 | F | F | F |
| 1164 | F | F | F |
| 1165 | F | F | F |
| 1166 | F | F | F |
| 1167 | F | F | F |
| 1168 | F | F | F |
| 1169 | F | F | F |
| 1170 | F | F | F |
| 1171 | F | F | F |
| 1172 | F | F | F |
| 1173 | F | F | F |
| 1174 | F | F | F |
| 1175 | F | F | F |
| 1176 | F | F | F |
| 1177 | F | F | F |
| 1178 | F | F | F |
| 1179 | F | F | F |
| 1180 | F | F | F |
| 1181 | F | F | F |
| 1182 | F | F | F |
| 1183 | F | F | F |
| 1184 | F | F | F |
| 1185 | F | F | F |
| 1186 | F | F | F |
| 1187 | F | F | F |
| 1188 | F | F | F |
| 1189 | F | F | F |
| 1190 | F | F | F |
| 1191 | F | F | F |
| 8112 | F | F | F |
| 8113 | F | F | F |
| 8114 | F | F | F |
| 8115 | F | F | F |
| 8116 | F | F | F |
| 8117 | F | F | F |
| 8118 | F | F | F |
| 8119 | F | F | F |
| 8120 | F | F | F |
| 8121 | F | F | F |
| 8122 | F | F | F |
| 8123 | F | F | F |
| 8124 | F | F | F |
| 8125 | F | F | F |
| 8126 | F | F | F |
| 8127 | F | F | F |
| 8128 | F | F | F |
| 8129 | F | F | F |
| 8130 | F | F | F |
| 8131 | F | F | F |
| 8132 | F | F | F |
| 8133 | F | F | F |
| 8134 | F | F | F |
| 8135 | F | F | F |
| 8136 | F | F | F |
| 8137 | F | F | F |
| 8138 | F | F | F |
| 8139 | F | F | F |
| 8140 | F | F | F |
| 8141 | F | F | F |
| 8142 | F | F | F |
| 8143 | F | F | F |
| 8144 | F | F | F |
| 8145 | F | F | F |
| 8146 | F | F | F |
| 8147 | F | F | F |
| 8148 | F | F | F |
| 8149 | F | F | F |
| 8150 | F | F | F |
| 8151 | F | F | F |
| 14913 | F | F | F |
| 14914 | F | F | F |
| 14915 | F | F | F |
| 14916 | F | F | F |
| 14917 | F | F | F |
| 14918 | F | F | F |
| 14919 | F | F | F |
| 14920 | F | F | F |
| 14921 | F | F | F |
| 14922 | F | F | F |
| 14923 | F | F | F |
| 14924 | F | F | F |
| 14925 | F | F | F |
| 14926 | F | F | F |
| 14927 | F | F | F |
| 14928 | F | F | F |
| 14929 | F | F | F |
| 14930 | F | F | F |
| 14931 | F | F | F |
| 14932 | F | F | F |
| 14933 | F | F | F |
| 14934 | F | F | F |
| 14935 | F | F | F |
| 14936 | F | F | F |
| 14937 | F | F | F |
| 14938 | F | F | F |
| 14939 | F | F | F |
| 14940 | F | F | F |
| 14941 | F | F | F |
| 14942 | F | F | F |
| 14943 | F | F | F |
| 14944 | F | F | F |
| 14945 | F | F | F |
| 14946 | F | F | F |
| 14947 | F | F | F |
| 14948 | F | F | F |
| 14949 | F | F | F |
| 14950 | F | F | F |
| 14951 | F | F | F |
| 14952 | F | F | F |
| 21687 | F | F | F |
| 21688 | F | F | F |
| 21689 | F | F | F |
| 21690 | F | F | F |
| 21691 | F | F | F |
| 21692 | F | F | F |
| 21693 | F | F | F |
| 21694 | F | F | F |
| 24430 | F | F | F |
| 24431 | F | F | F |
| 24432 | F | F | F |
| 24433 | F | F | F |
| 24434 | F | F | F |
| 24435 | F | F | F |
| 24436 | F | F | F |
| 24437 | F | F | F |
| 27073 | F | F | F |
| 27074 | F | F | F |
| 27075 | F | F | F |
| 27076 | F | F | F |
| 27077 | F | F | F |
| 27078 | F | F | F |
| 27079 | F | F | F |
| 27080 | F | F | F |
| 30653 | F | F | F |
| 30654 | F | F | F |
| 30655 | F | F | F |
| 30656 | F | F | F |
| 30657 | F | F | F |
| 30658 | F | F | F |
| 30659 | F | F | F |
| 30660 | F | F | F |
| 51508 | F | F | F |
| 51509 | F | F | F |
| 51510 | F | F | F |
| 51511 | F | F | F |
| 51512 | F | F | F |
| 51513 | F | F | F |
| 51514 | F | F | F |
| 51515 | F | F | F |
| 72432 | F | F | F |
| 72433 | F | F | F |
| 72434 | F | F | F |
| 72435 | F | F | F |
| 72436 | F | F | F |
| 72437 | F | F | F |
| 72438 | F | F | F |
| 72439 | F | F | F |
| 82315 | F | F | F |
| 82316 | F | F | F |
| 82317 | F | F | F |
| 82318 | F | F | F |
| 82319 | F | F | F |
| 82320 | F | F | F |
| 82321 | F | F | F |
| 82322 | F | F | F |
| 92019 | F | F | F |
| 92020 | F | F | F |
| 92021 | F | F | F |
| 92022 | F | F | F |
| 92023 | F | F | F |
| 92024 | F | F | F |
| 92025 | F | F | F |
| 92026 | F | F | F |
| 92027 | F | F | F |
| 92028 | F | F | F |
| 92029 | F | F | F |
| 92030 | F | F | F |
| 92031 | F | F | F |
| 92032 | F | F | F |
| 92033 | F | F | F |
| 92034 | F | F | F |
| 92035 | F | F | F |
| 92036 | F | F | F |
| 92037 | F | F | F |
| 92038 | F | F | F |
| 92039 | F | F | F |
| 92040 | F | F | F |
| 92041 | F | F | F |
| 92042 | F | F | F |
| 99848 | F | F | F |
| 99849 | F | F | F |
| 99850 | F | F | F |
| 99851 | F | F | F |
| 99852 | F | F | F |
| 99853 | F | F | F |
| 99854 | F | F | F |
| 99855 | F | F | F |
| 99856 | F | F | F |
| 99857 | F | F | F |
| 99858 | F | F | F |
| 99859 | F | F | F |
| 99860 | F | F | F |
| 99861 | F | F | F |
| 99862 | F | F | F |
| 99863 | F | F | F |
| 99864 | F | F | F |
| 99865 | F | F | F |
| 99866 | F | F | F |
| 99867 | F | F | F |
| 99868 | F | F | F |
| 99869 | F | F | F |
| 99870 | F | F | F |
| 99871 | F | F | F |
| 108337 | F | F | F |
| 108338 | F | F | F |
| 108339 | F | F | F |
| 108340 | F | F | F |
| 108341 | F | F | F |
| 108342 | F | F | F |
| 108343 | F | F | F |
| 108344 | F | F | F |
| 108345 | F | F | F |
| 108346 | F | F | F |
| 108347 | F | F | F |
| 108348 | F | F | F |
| 108349 | F | F | F |
| 108350 | F | F | F |
| 108351 | F | F | F |
| 108352 | F | F | F |
| 108353 | F | F | F |
| 108354 | F | F | F |
| 108355 | F | F | F |
| 108356 | F | F | F |
| 108357 | F | F | F |
| 108358 | F | F | F |
| 108359 | F | F | F |
| 108360 | F | F | F |
| 116363 | F | F | F |
| 116364 | F | F | F |
| 116365 | F | F | F |
| 116366 | F | F | F |
| 116367 | F | F | F |
| 116368 | F | F | F |
| 116369 | F | F | F |
| 116370 | F | F | F |
| 116371 | F | F | F |
| 116372 | F | F | F |
| 116373 | F | F | F |
| 116374 | F | F | F |
| 116375 | F | F | F |
| 116376 | F | F | F |
| 116377 | F | F | F |
| 116378 | F | F | F |
| 116379 | F | F | F |
| 116380 | F | F | F |
| 116381 | F | F | F |
| 116382 | F | F | F |
| 116383 | F | F | F |
| 116384 | F | F | F |
| 116385 | F | F | F |
| 116386 | F | F | F |
| 124390 | F | F | F |
| 124391 | F | F | F |
| 124392 | F | F | F |
| 124393 | F | F | F |
| 124394 | F | F | F |
| 124395 | F | F | F |
| 124396 | F | F | F |
| 124397 | F | F | F |
| 141109 | F | F | F |
| 141110 | F | F | F |
| 141111 | F | F | F |
| 141112 | F | F | F |
| 141113 | F | F | F |
| 141114 | F | F | F |
| 141115 | F | F | F |
| 141116 | F | F | F |
| 158348 | F | F | F |
| 158349 | F | F | F |
| 158350 | F | F | F |
| 158351 | F | F | F |
| 158352 | F | F | F |
| 158353 | F | F | F |
| 158354 | F | F | F |
| 158355 | F | F | F |
| 158356 | F | F | F |
| 158357 | F | F | F |
| 158358 | F | F | F |
| 158359 | F | F | F |
| 158360 | F | F | F |
| 158361 | F | F | F |
| 158362 | F | F | F |
| 158363 | F | F | F |
| 158364 | F | F | F |
| 158365 | F | F | F |
| 158366 | F | F | F |
| 158367 | F | F | F |
| 158368 | F | F | F |
| 158369 | F | F | F |
| 158370 | F | F | F |
| 158371 | F | F | F |
| 158372 | F | F | F |
| 158373 | F | F | F |
| 158374 | F | F | F |
| 158375 | F | F | F |
| 158376 | F | F | F |
| 158377 | F | F | F |
| 158378 | F | F | F |
| 158379 | F | F | F |
| 158380 | F | F | F |
| 158381 | F | F | F |
| 158382 | F | F | F |
| 158383 | F | F | F |
| 158384 | F | F | F |
| 158385 | F | F | F |
| 158386 | F | F | F |
| 158387 | F | F | F |
| 158388 | F | F | F |
| 158389 | F | F | F |
| 158390 | F | F | F |
| 158391 | F | F | F |
| 158392 | F | F | F |
| 158393 | F | F | F |
| 158394 | F | F | F |
| 158395 | F | F | F |
| 168206 | F | F | F |
| 168207 | F | F | F |
| 168208 | F | F | F |
| 168209 | F | F | F |
| 168210 | F | F | F |
| 168211 | F | F | F |
| 168212 | F | F | F |
| 168213 | F | F | F |
| 168214 | F | F | F |
| 168215 | F | F | F |
| 168216 | F | F | F |
| 168217 | F | F | F |
| 168218 | F | F | F |
| 168219 | F | F | F |
| 168220 | F | F | F |
| 168221 | F | F | F |
| 168222 | F | F | F |
| 168223 | F | F | F |
| 168224 | F | F | F |
| 168225 | F | F | F |
| 168226 | F | F | F |
| 168227 | F | F | F |
| 168228 | F | F | F |
| 168229 | F | F | F |
| 168230 | F | F | F |
| 168231 | F | F | F |
| 168232 | F | F | F |
| 168233 | F | F | F |
| 168234 | F | F | F |
| 168235 | F | F | F |
| 168236 | F | F | F |
| 168237 | F | F | F |
| 168238 | F | F | F |
| 168239 | F | F | F |
| 168240 | F | F | F |
| 168241 | F | F | F |
| 168242 | F | F | F |
| 168243 | F | F | F |
| 168244 | F | F | F |
| 168245 | F | F | F |
| 168246 | F | F | F |
| 168247 | F | F | F |
| 168248 | F | F | F |
| 168249 | F | F | F |
| 168250 | F | F | F |
| 168251 | F | F | F |
| 168252 | F | F | F |
| 168253 | F | F | F |
| 176521 | F | F | F |
| 176522 | F | F | F |
| 176523 | F | F | F |
| 176524 | F | F | F |
| 176525 | F | F | F |
| 176526 | F | F | F |
| 176527 | F | F | F |
| 176528 | F | F | F |
| 176529 | F | F | F |
| 176530 | F | F | F |
| 176531 | F | F | F |
| 176532 | F | F | F |
| 176533 | F | F | F |
| 176534 | F | F | F |
| 176535 | F | F | F |
| 176536 | F | F | F |
| 176537 | F | F | F |
| 176538 | F | F | F |
| 176539 | F | F | F |
| 176540 | F | F | F |
| 176541 | F | F | F |
| 176542 | F | F | F |
| 176543 | F | F | F |
| 176544 | F | F | F |
| 181191 | F | F | F |
| 181192 | F | F | F |
| 181193 | F | F | F |
| 181194 | F | F | F |
| 181195 | F | F | F |
| 181196 | F | F | F |
| 181197 | F | F | F |
| 181198 | F | F | F |
| 184510 | F | F | F |
| 184511 | F | F | F |
| 184512 | F | F | F |
| 184513 | F | F | F |
| 184514 | F | F | F |
| 184515 | F | F | F |
| 184516 | F | F | F |
| 184517 | F | F | F |
| 187618 | F | F | F |
| 187619 | F | F | F |
| 187620 | F | F | F |
| 187621 | F | F | F |
| 187622 | F | F | F |
| 187623 | F | F | F |
| 187624 | F | F | F |
| 187625 | F | F | F |
| 191156 | F | F | F |
| 191157 | F | F | F |
| 191158 | F | F | F |
| 191159 | F | F | F |
| 191160 | F | F | F |
| 191161 | F | F | F |
| 191162 | F | F | F |
| 191163 | F | F | F |
| 196497 | F | F | F |
| 196498 | F | F | F |
| 196499 | F | F | F |
| 196500 | F | F | F |
| 196501 | F | F | F |
| 196502 | F | F | F |
| 196503 | F | F | F |
| 196504 | F | F | F |
| 196505 | F | F | F |
| 196506 | F | F | F |
| 196507 | F | F | F |
| 196508 | F | F | F |
| 196509 | F | F | F |
| 196510 | F | F | F |
| 196511 | F | F | F |
| 196512 | F | F | F |
| 196513 | F | F | F |
| 196514 | F | F | F |
| 196515 | F | F | F |
| 196516 | F | F | F |
| 196517 | F | F | F |
| 196518 | F | F | F |
| 196519 | F | F | F |
| 196520 | F | F | F |
| 203279 | F | F | F |
| 203280 | F | F | F |
| 203281 | F | F | F |
| 203282 | F | F | F |
| 203283 | F | F | F |
| 203284 | F | F | F |
| 203285 | F | F | F |
| 203286 | F | F | F |
| 207818 | F | F | F |
| 207819 | F | F | F |
| 207820 | F | F | F |
| 207821 | F | F | F |
| 207822 | F | F | F |
| 207823 | F | F | F |
| 207824 | F | F | F |
| 207825 | F | F | F |
| 207826 | F | F | F |
| 207827 | F | F | F |
| 207828 | F | F | F |
| 207829 | F | F | F |
| 207830 | F | F | F |
| 207831 | F | F | F |
| 207832 | F | F | F |
| 207833 | F | F | F |
| 215647 | F | F | F |
| 215648 | F | F | F |
| 215649 | F | F | F |
| 215650 | F | F | F |
| 215651 | F | F | F |
| 215652 | F | F | F |
| 215653 | F | F | F |
| 215654 | F | F | F |
| 224114 | F | F | F |
| 224115 | F | F | F |
| 224116 | F | F | F |
| 224117 | F | F | F |
| 224118 | F | F | F |
| 224119 | F | F | F |
| 224120 | F | F | F |
| 224121 | F | F | F |
| 301491 | F | F | F |
| 301492 | F | F | F |
| 301493 | F | F | F |
| 301494 | F | F | F |
| 301495 | F | F | F |
| 301496 | F | F | F |
| 301497 | F | F | F |
| 301498 | F | F | F |
| 377072 | F | F | F |
| 377073 | F | F | F |
| 377074 | F | F | F |
| 377075 | F | F | F |
| 377076 | F | F | F |
| 377077 | F | F | F |
| 377078 | F | F | F |
| 377079 | F | F | F |
| 379729 | F | F | F |
| 379730 | F | F | F |
| 379731 | F | F | F |
| 379732 | F | F | F |
| 379733 | F | F | F |
| 379734 | F | F | F |
| 379735 | F | F | F |
| 379736 | F | F | F |
| 382613 | F | F | F |
| 382614 | F | F | F |
| 382615 | F | F | F |
| 382616 | F | F | F |
| 382617 | F | F | F |
| 382618 | F | F | F |
| 382619 | F | F | F |
| 382620 | F | F | F |
Independent-effect pairs
c0(branch3782): GAP view gap →scry_analyze_core::stamp_obligation_ids· br_if
inlined: lib.rs:3632 ← library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823c1(branch3783): GAP view gap →scry_analyze_core::stamp_obligation_ids· br_if
inlined: lib.rs:3632 ← library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823