Decision #960 — library/alloc/src/raw_vec/mod.rs:635
Status: no_witness
Truth table
| row | c0 br 6202 | c1 br 6205 | outcome |
|---|---|---|---|
| 33604 | F | * | F |
| 33605 | F | * | F |
| 33606 | F | * | F |
| 33607 | F | * | F |
| 33608 | F | * | F |
| 33609 | F | * | F |
| 33610 | F | * | F |
| 33611 | F | * | F |
| 33612 | F | * | F |
| 33613 | F | * | F |
| 33614 | F | * | F |
| 33615 | F | * | F |
| 54458 | F | * | F |
| 54459 | F | * | F |
| 54460 | F | * | F |
| 54461 | F | * | F |
| 54462 | F | * | F |
| 54463 | F | * | F |
| 54464 | F | * | F |
| 54465 | F | * | F |
| 54466 | F | * | F |
| 54467 | F | * | F |
| 54468 | F | * | F |
| 54469 | F | * | F |
| 125655 | F | * | F |
| 125656 | F | * | F |
| 125657 | F | * | F |
| 125658 | F | * | F |
| 125659 | F | * | F |
| 125660 | F | * | F |
| 125661 | F | * | F |
| 125662 | F | * | F |
| 125663 | F | * | F |
| 125664 | F | * | F |
| 125665 | F | * | F |
| 125666 | F | * | F |
| 125667 | F | * | F |
| 125668 | F | * | F |
| 125669 | F | * | F |
| 125670 | F | * | F |
| 142374 | F | * | F |
| 142375 | F | * | F |
| 142376 | F | * | F |
| 142377 | F | * | F |
| 142378 | F | * | F |
| 142379 | F | * | F |
| 142380 | F | * | F |
| 142381 | F | * | F |
| 142382 | F | * | F |
| 142383 | F | * | F |
| 142384 | F | * | F |
| 142385 | F | * | F |
| 142386 | F | * | F |
| 142387 | F | * | F |
| 142388 | F | * | F |
| 142389 | F | * | F |
| 240169 | F | * | F |
| 240170 | F | * | F |
| 240171 | F | * | F |
| 240172 | F | * | F |
| 240173 | F | * | F |
| 240174 | F | * | F |
| 240175 | F | * | F |
| 240176 | F | * | F |
| 240177 | F | * | F |
| 240178 | F | * | F |
| 240179 | F | * | F |
| 240180 | F | * | F |
| 240181 | F | * | F |
| 240182 | F | * | F |
| 240183 | F | * | F |
| 240184 | F | * | F |
| 240185 | F | * | F |
| 240186 | F | * | F |
| 240187 | F | * | F |
| 240188 | F | * | F |
| 240189 | F | * | F |
| 240190 | F | * | F |
| 240191 | F | * | F |
| 240192 | F | * | F |
| 240193 | F | * | F |
| 240194 | F | * | F |
| 240195 | F | * | F |
| 240196 | F | * | F |
| 240197 | F | * | F |
| 240198 | F | * | F |
| 240199 | F | * | F |
| 240200 | F | * | F |
| 240201 | F | * | F |
| 240202 | F | * | F |
| 240203 | F | * | F |
| 240204 | F | * | F |
| 240205 | F | * | F |
| 240206 | F | * | F |
| 240207 | F | * | F |
| 240208 | F | * | F |
| 240209 | F | * | F |
| 240210 | F | * | F |
| 240211 | F | * | F |
| 240212 | F | * | F |
| 240213 | F | * | F |
| 240214 | F | * | F |
| 240215 | F | * | F |
| 240216 | F | * | F |
| 240217 | F | * | F |
| 240218 | F | * | F |
| 240219 | F | * | F |
| 240220 | F | * | F |
| 240221 | F | * | F |
| 240222 | F | * | F |
| 240223 | F | * | F |
| 240224 | F | * | F |
| 240225 | F | * | F |
| 240226 | F | * | F |
| 240227 | F | * | F |
| 240228 | F | * | F |
| 317546 | F | * | F |
| 317547 | F | * | F |
| 317548 | F | * | F |
| 317549 | F | * | F |
| 317550 | F | * | F |
| 317551 | F | * | F |
| 317552 | F | * | F |
| 317553 | F | * | F |
| 317554 | F | * | F |
| 317555 | F | * | F |
| 317556 | F | * | F |
| 317557 | F | * | F |
| 317558 | F | * | F |
| 317559 | F | * | F |
| 317560 | F | * | F |
| 317561 | F | * | F |
| 317562 | F | * | F |
| 317563 | F | * | F |
| 317564 | F | * | F |
| 317565 | F | * | F |
| 317566 | F | * | F |
| 317567 | F | * | F |
| 317568 | F | * | F |
| 317569 | F | * | F |
| 317570 | F | * | F |
| 317571 | F | * | F |
| 317572 | F | * | F |
| 317573 | F | * | F |
| 317574 | F | * | F |
| 317575 | F | * | F |
| 317576 | F | * | F |
| 317577 | F | * | F |
| 317578 | F | * | F |
| 317579 | F | * | F |
| 317580 | F | * | F |
| 317581 | F | * | F |
| 317582 | F | * | F |
| 317583 | F | * | F |
| 317584 | F | * | F |
| 317585 | F | * | F |
| 317586 | F | * | F |
| 317587 | F | * | F |
| 317588 | F | * | F |
| 317589 | F | * | F |
| 317590 | F | * | F |
| 317591 | F | * | F |
| 317592 | F | * | F |
| 317593 | F | * | F |
| 317594 | F | * | F |
| 317595 | F | * | F |
| 317596 | F | * | F |
| 317597 | F | * | F |
| 317598 | F | * | F |
| 317599 | F | * | F |
| 317600 | F | * | F |
| 317601 | F | * | F |
| 317602 | F | * | F |
| 317603 | F | * | F |
| 317604 | F | * | F |
| 317605 | F | * | F |
Independent-effect pairs
c0(branch6202): GAP view gap →<scry_poly::Poly>::project· br_if
inlined: library/alloc/src/vec/mod.rs:4303 ← library/core/src/ptr/mut_ptr.rs:1382 ← library/core/src/ptr/mod.rs:818 ← library/core/src/ptr/mod.rs:823c1(branch6205): DEAD view gap →<scry_poly::Poly>::project· br_if