Decision #946 — library/core/src/num/int_macros.rs:2765
Status: no_witness
Truth table
| row | c0 br 6169 | c1 br 6171 | outcome |
|---|---|---|---|
| 33360 | * | T | T |
| 33361 | * | T | T |
| 33362 | * | T | T |
| 33363 | * | T | T |
| 33364 | * | T | T |
| 33365 | * | T | T |
| 33366 | * | T | T |
| 33367 | * | T | T |
| 33368 | * | T | T |
| 33369 | * | T | T |
| 33370 | * | T | T |
| 33371 | * | T | T |
| 54214 | * | T | T |
| 54215 | * | T | T |
| 54216 | * | T | T |
| 54217 | * | T | T |
| 54218 | * | T | T |
| 54219 | * | T | T |
| 54220 | * | T | T |
| 54221 | * | T | T |
| 54222 | * | T | T |
| 54223 | * | T | T |
| 54224 | * | T | T |
| 54225 | * | T | T |
| 238565 | * | T | T |
| 238566 | * | T | T |
| 238567 | * | T | T |
| 238568 | * | T | T |
| 238569 | * | T | T |
| 238570 | * | T | T |
| 238571 | * | T | T |
| 238572 | * | T | T |
| 238573 | * | T | T |
| 238574 | * | T | T |
| 238575 | * | T | T |
| 238576 | * | T | T |
| 238577 | * | T | T |
| 238578 | * | T | T |
| 238579 | * | T | T |
| 238580 | * | T | T |
| 238581 | * | T | T |
| 238582 | * | T | T |
| 238583 | * | T | T |
| 238584 | * | T | T |
| 238585 | * | T | T |
| 238586 | * | T | T |
| 238587 | * | T | T |
| 238588 | * | T | T |
| 238589 | * | T | T |
| 238590 | * | T | T |
| 238591 | * | T | T |
| 238592 | * | T | T |
| 238593 | * | T | T |
| 238594 | * | T | T |
| 238595 | * | T | T |
| 238596 | * | T | T |
| 238597 | * | T | T |
| 238598 | * | T | T |
| 238599 | * | T | T |
| 238600 | * | T | T |
| 238601 | * | T | T |
| 238602 | * | T | T |
| 238603 | * | T | T |
| 238604 | * | T | T |
| 238605 | * | T | T |
| 238606 | * | T | T |
| 238607 | * | T | T |
| 238608 | * | T | T |
| 238609 | * | T | T |
| 238610 | * | T | T |
| 238611 | * | T | T |
| 238612 | * | T | T |
| 238613 | * | T | T |
| 238614 | * | T | T |
| 238615 | * | T | T |
| 238616 | * | T | T |
| 238617 | * | T | T |
| 238618 | * | T | T |
| 238619 | * | T | T |
| 238620 | * | T | T |
| 238621 | * | T | T |
| 238622 | * | T | T |
| 238623 | * | T | T |
| 238624 | * | T | T |
| 238625 | * | T | T |
| 238626 | * | T | T |
| 238627 | * | T | T |
| 238628 | * | T | T |
| 238629 | * | T | T |
| 238630 | * | T | T |
| 238631 | * | T | T |
| 238632 | * | T | T |
| 238633 | * | T | T |
| 238634 | * | T | T |
| 238635 | * | T | T |
| 238636 | * | T | T |
| 238637 | * | T | T |
| 238638 | * | T | T |
| 238639 | * | T | T |
| 238640 | * | T | T |
| 238641 | * | T | T |
| 238642 | * | T | T |
| 238643 | * | T | T |
| 238644 | * | T | T |
| 315942 | * | T | T |
| 315943 | * | T | T |
| 315944 | * | T | T |
| 315945 | * | T | T |
| 315946 | * | T | T |
| 315947 | * | T | T |
| 315948 | * | T | T |
| 315949 | * | T | T |
| 315950 | * | T | T |
| 315951 | * | T | T |
| 315952 | * | T | T |
| 315953 | * | T | T |
| 315954 | * | T | T |
| 315955 | * | T | T |
| 315956 | * | T | T |
| 315957 | * | T | T |
| 315958 | * | T | T |
| 315959 | * | T | T |
| 315960 | * | T | T |
| 315961 | * | T | T |
| 315962 | * | T | T |
| 315963 | * | T | T |
| 315964 | * | T | T |
| 315965 | * | T | T |
| 315966 | * | T | T |
| 315967 | * | T | T |
| 315968 | * | T | T |
| 315969 | * | T | T |
| 315970 | * | T | T |
| 315971 | * | T | T |
| 315972 | * | T | T |
| 315973 | * | T | T |
| 315974 | * | T | T |
| 315975 | * | T | T |
| 315976 | * | T | T |
| 315977 | * | T | T |
| 315978 | * | T | T |
| 315979 | * | T | T |
| 315980 | * | T | T |
| 315981 | * | T | T |
| 315982 | * | T | T |
| 315983 | * | T | T |
| 315984 | * | T | T |
| 315985 | * | T | T |
| 315986 | * | T | T |
| 315987 | * | T | T |
| 315988 | * | T | T |
| 315989 | * | T | T |
| 315990 | * | T | T |
| 315991 | * | T | T |
| 315992 | * | T | T |
| 315993 | * | T | T |
| 315994 | * | T | T |
| 315995 | * | T | T |
| 315996 | * | T | T |
| 315997 | * | T | T |
| 315998 | * | T | T |
| 315999 | * | T | T |
| 316000 | * | T | T |
| 316001 | * | T | T |
| 316002 | * | T | T |
| 316003 | * | T | T |
| 316004 | * | T | T |
| 316005 | * | T | T |
| 316006 | * | T | T |
| 316007 | * | T | T |
| 316008 | * | T | T |
| 316009 | * | T | T |
| 316010 | * | T | T |
| 316011 | * | T | T |
| 316012 | * | T | T |
| 316013 | * | T | T |
| 316014 | * | T | T |
| 316015 | * | T | T |
| 316016 | * | T | T |
| 316017 | * | T | T |
| 316018 | * | T | T |
| 316019 | * | T | T |
| 316020 | * | T | T |
| 316021 | * | T | T |
Independent-effect pairs
c0(branch6169): DEAD view gap →<scry_poly::Poly>::join· br_ifc1(branch6171): GAP view gap →<scry_poly::Poly>::join· br_if