Decision #564 — library/core/src/ptr/mod.rs:1933
Status: no_witness
Truth table
| row | c0 br 3769 | c1 br 3770 | outcome |
|---|---|---|---|
| 957 | T | T | T |
| 958 | T | T | T |
| 959 | T | T | T |
| 960 | T | T | T |
| 961 | T | T | T |
| 962 | T | T | T |
| 963 | T | T | T |
| 964 | T | T | T |
| 965 | T | T | T |
| 966 | T | T | T |
| 967 | T | T | T |
| 968 | T | T | T |
| 969 | T | T | T |
| 4750 | T | T | T |
| 4751 | T | T | T |
| 4752 | T | T | T |
| 4753 | T | T | T |
| 4754 | T | T | T |
| 4755 | T | T | T |
| 4756 | T | T | T |
| 4757 | T | T | T |
| 4758 | T | T | T |
| 4759 | T | T | T |
| 4760 | T | T | T |
| 4761 | T | T | T |
| 4762 | T | T | T |
| 8481 | T | T | T |
| 8482 | T | T | T |
| 8483 | T | T | T |
| 8484 | T | T | T |
| 8485 | T | T | T |
| 8486 | T | T | T |
| 8487 | T | T | T |
| 8488 | T | T | T |
| 8489 | T | T | T |
| 8490 | T | T | T |
| 8491 | T | T | T |
| 8492 | T | T | T |
| 8493 | T | T | T |
| 11961 | T | T | T |
| 11962 | T | T | T |
| 11963 | T | T | T |
| 11964 | T | T | T |
| 11965 | T | T | T |
| 11966 | T | T | T |
| 11967 | T | T | T |
| 13337 | T | T | T |
| 13338 | T | T | T |
| 13339 | T | T | T |
| 13340 | T | T | T |
| 13341 | T | T | T |
| 13342 | T | T | T |
| 13343 | T | T | T |
| 14662 | T | T | T |
| 14663 | T | T | T |
| 14664 | T | T | T |
| 14665 | T | T | T |
| 14666 | T | T | T |
| 14667 | T | T | T |
| 14668 | T | T | T |
| 16569 | T | T | T |
| 16570 | T | T | T |
| 16571 | T | T | T |
| 16572 | T | T | T |
| 16573 | T | T | T |
| 16574 | T | T | T |
| 16575 | T | T | T |
| 26049 | T | T | T |
| 26050 | T | T | T |
| 26051 | T | T | T |
| 26052 | T | T | T |
| 26053 | T | T | T |
| 26054 | T | T | T |
| 26055 | T | T | T |
| 35673 | T | T | T |
| 35674 | T | T | T |
| 35675 | T | T | T |
| 35676 | T | T | T |
| 35677 | T | T | T |
| 35678 | T | T | T |
| 35679 | T | T | T |
| 41886 | T | T | T |
| 41887 | T | T | T |
| 41888 | T | T | T |
| 41889 | T | T | T |
| 41890 | T | T | T |
| 41891 | T | T | T |
| 41892 | T | T | T |
| 48001 | T | T | T |
| 48002 | T | T | T |
| 48003 | T | T | T |
| 48004 | T | T | T |
| 48005 | T | T | T |
| 48006 | T | T | T |
| 48007 | T | T | T |
| 48008 | T | T | T |
| 48009 | T | T | T |
| 48010 | T | T | T |
| 52170 | T | T | T |
| 52171 | T | T | T |
| 52172 | T | T | T |
| 52173 | T | T | T |
| 52174 | T | T | T |
| 52175 | T | T | T |
| 52176 | T | T | T |
| 52177 | T | T | T |
| 52178 | T | T | T |
| 52179 | T | T | T |
| 56708 | T | T | T |
| 56709 | T | T | T |
| 56710 | T | T | T |
| 56711 | T | T | T |
| 56712 | T | T | T |
| 56713 | T | T | T |
| 56714 | T | T | T |
| 56715 | T | T | T |
| 56716 | T | T | T |
| 56717 | T | T | T |
| 60925 | T | T | T |
| 60926 | T | T | T |
| 60927 | T | T | T |
| 60928 | T | T | T |
| 60929 | T | T | T |
| 60930 | T | T | T |
| 60931 | T | T | T |
| 60932 | T | T | T |
| 60933 | T | T | T |
| 60934 | T | T | T |
| 65165 | T | T | T |
| 65166 | T | T | T |
| 65167 | T | T | T |
| 65168 | T | T | T |
| 65169 | T | T | T |
| 65170 | T | T | T |
| 65171 | T | T | T |
| 76678 | T | T | T |
| 76679 | T | T | T |
| 76680 | T | T | T |
| 76681 | T | T | T |
| 76682 | T | T | T |
| 76683 | T | T | T |
| 76684 | T | T | T |
| 88395 | T | T | T |
| 88396 | T | T | T |
| 88397 | T | T | T |
| 88398 | T | T | T |
| 88399 | T | T | T |
| 88400 | T | T | T |
| 88401 | T | T | T |
| 88402 | T | T | T |
| 88403 | T | T | T |
| 88404 | T | T | T |
| 88405 | T | T | T |
| 88406 | T | T | T |
| 92663 | T | T | T |
| 92664 | T | T | T |
| 92665 | T | T | T |
| 92666 | T | T | T |
| 92667 | T | T | T |
| 92668 | T | T | T |
| 92669 | T | T | T |
| 92670 | T | T | T |
| 92671 | T | T | T |
| 92672 | T | T | T |
| 92673 | T | T | T |
| 92674 | T | T | T |
| 96145 | T | T | T |
| 96146 | T | T | T |
| 96147 | T | T | T |
| 96148 | T | T | T |
| 96149 | T | T | T |
| 96150 | T | T | T |
| 96151 | T | T | T |
| 96152 | T | T | T |
| 96153 | T | T | T |
| 96154 | T | T | T |
| 98024 | T | T | T |
| 98025 | T | T | T |
| 98026 | T | T | T |
| 98027 | T | T | T |
| 98028 | T | T | T |
| 98029 | T | T | T |
| 98030 | T | T | T |
| 98031 | T | T | T |
| 99541 | T | T | T |
| 99542 | T | T | T |
| 99543 | T | T | T |
| 99544 | T | T | T |
| 99545 | T | T | T |
| 99546 | T | T | T |
| 99547 | T | T | T |
| 99548 | T | T | T |
| 100957 | T | T | T |
| 100958 | T | T | T |
| 100959 | T | T | T |
| 100960 | T | T | T |
| 100961 | T | T | T |
| 100962 | T | T | T |
| 100963 | T | T | T |
| 100964 | T | T | T |
| 102665 | T | T | T |
| 102666 | T | T | T |
| 102667 | T | T | T |
| 102668 | T | T | T |
| 102669 | T | T | T |
| 102670 | T | T | T |
| 102671 | T | T | T |
| 102672 | T | T | T |
| 102673 | T | T | T |
| 105913 | T | T | T |
| 105914 | T | T | T |
| 105915 | T | T | T |
| 105916 | T | T | T |
| 105917 | T | T | T |
| 105918 | T | T | T |
| 105919 | T | T | T |
| 105920 | T | T | T |
| 105921 | T | T | T |
| 105922 | T | T | T |
| 105923 | T | T | T |
| 109021 | T | T | T |
| 109022 | T | T | T |
| 109023 | T | T | T |
| 109024 | T | T | T |
| 109025 | T | T | T |
| 109026 | T | T | T |
| 109027 | T | T | T |
| 109028 | T | T | T |
| 109029 | T | T | T |
| 111691 | T | T | T |
| 111692 | T | T | T |
| 111693 | T | T | T |
| 111694 | T | T | T |
| 111695 | T | T | T |
| 111696 | T | T | T |
| 111697 | T | T | T |
| 111698 | T | T | T |
| 111699 | T | T | T |
| 111700 | T | T | T |
| 114588 | T | T | T |
| 114589 | T | T | T |
| 114590 | T | T | T |
| 114591 | T | T | T |
| 114592 | T | T | T |
| 114593 | T | T | T |
| 114594 | T | T | T |
| 114595 | T | T | T |
| 114596 | T | T | T |
| 118627 | T | T | T |
| 118628 | T | T | T |
| 118629 | T | T | T |
| 118630 | T | T | T |
| 118631 | T | T | T |
| 118632 | T | T | T |
| 118633 | T | T | T |
| 141563 | T | T | T |
| 141564 | T | T | T |
| 141565 | T | T | T |
| 141566 | T | T | T |
| 141567 | T | T | T |
| 141568 | T | T | T |
| 141569 | T | T | T |
| 163247 | T | T | T |
| 163248 | T | T | T |
| 163249 | T | T | T |
| 163250 | T | T | T |
| 163251 | T | T | T |
| 163252 | T | T | T |
| 163253 | T | T | T |
| 164818 | T | T | T |
| 164819 | T | T | T |
| 164820 | T | T | T |
| 164821 | T | T | T |
| 164822 | T | T | T |
| 164823 | T | T | T |
| 164824 | T | T | T |
| 166540 | T | T | T |
| 166541 | T | T | T |
| 166542 | T | T | T |
| 166543 | T | T | T |
| 166544 | T | T | T |
| 166545 | T | T | T |
| 166546 | T | T | T |
Independent-effect pairs
c0(branch3769): GAP view gap →scry_analyze_core::analyze· br_if
inlined: lib.rs:1892 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1045c1(branch3770): GAP view gap →scry_analyze_core::analyze· br_if
inlined: lib.rs:1889 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1045