Update test cases to pass

Author: A5rocks

mypyc/test-data/irbuild-match.test

@@ -1765,8 +1765,10 @@ def f(x):
     r10 :: object
     r11 :: object[1]
     r12 :: object_ptr
-    r13 :: object
-    r14 :: bool
+    r13, r14 :: object
+    r15 :: i32
+    r16 :: bit
+    r17, r18 :: bool
 L0:
     r0 = __main__.Foo :: type
     r1 = PyObject_IsInstance(x, r0)
@@ -1790,9 +1792,13 @@ L2:
     goto L8
 L3:
 L4:
-    if 0 goto L6 else goto L5 :: bool
+    r14 = box(bool, 0)
+    r15 = PyObject_IsTrue(r14)
+    r16 = r15 >= 0 :: signed
+    r17 = truncate r15: i32 to builtins.bool
+    if r17 goto L6 else goto L5 :: bool
 L5:
-    r14 = raise AssertionError('Unreachable')
+    r18 = raise AssertionError('Unreachable')
     unreachable
 L6:
     goto L8

test-data/unit/daemon.test

@@ -463,7 +463,8 @@ $ dmypy inspect foo.py:1:2:3:4
 Can't find expression at span 1:2:3:4
 == Return code: 1
 $ dmypy inspect foo.py:17:5:17:5
-"int"
+No known type available for "NameExpr" (maybe unreachable or try --force-reload)
+== Return code: 1
 
 [file foo.py]
 from typing import Optional
@@ -522,8 +523,9 @@ $ dmypy inspect foo.py:1:2
 Can't find any expressions at position 1:2
 == Return code: 1
 $ dmypy inspect foo.py:11:5 --force-reload
-"int"
-"int"
+No known type available for "NameExpr" (maybe unreachable)
+No known type available for "OpExpr" (maybe unreachable)
+== Return code: 1
 
 [file foo.py]
 from typing import Optional
@@ -545,7 +547,8 @@ $ dmypy check foo.py bar.py --export-types
 $ dmypy inspect foo.py:9:1 --show attrs --include-span --include-kind -vv
 NameExpr:9:1:9:1 -> {"foo.C": ["a", "x", "y"], "foo.B": ["a", "b"]}
 $ dmypy inspect foo.py:11:10 --show attrs
-{"str": ["__add__", "__contains__", "__eq__", "__ge__", "__getitem__", "__getnewargs__", "__gt__", "__hash__", "__iter__", "__le__", "__len__", "__lt__", "__mod__", "__mul__", "__ne__", "__new__", "__rmul__", "capitalize", "casefold", "center", "count", "encode", "endswith", "expandtabs", "find", "format", "format_map", "index", "isalnum", "isalpha", "isascii", "isdecimal", "isdigit", "isidentifier", "islower", "isnumeric", "isprintable", "isspace", "istitle", "isupper", "join", "ljust", "lower", "lstrip", "maketrans", "partition", "removeprefix", "removesuffix", "replace", "rfind", "rindex", "rjust", "rpartition", "rsplit", "rstrip", "split", "splitlines", "startswith", "strip", "swapcase", "title", "translate", "upper", "zfill"], "Sequence": ["__contains__", "__getitem__", "__iter__", "__reversed__", "count", "index"], "Reversible": ["__reversed__"], "Collection": ["__len__"], "Iterable": ["__iter__"], "Container": ["__contains__"]}
+No known type available for "StrExpr" (maybe unreachable or try --force-reload)
+== Return code: 1
 $ dmypy inspect foo.py:1:1 --show attrs
 Can't find any expressions at position 1:1
 == Return code: 1

test-data/unit/fine-grained.test

@@ -9692,7 +9692,8 @@ reveal_type(z)
 [out]
 c.py:2: note: Revealed type is "a.<subclass of "a.A" and "a.B">"
 ==
-c.py:2: note: Revealed type is "Never"
+c.py:2: note: Revealed type is "Any"
+b.py:2: error: Cannot determine type of "y"
 
 [case testIsInstanceAdHocIntersectionFineGrainedIncrementalUnreachableToIntersection]
 import c
@@ -9723,7 +9724,8 @@ from b import z
 reveal_type(z)
 [builtins fixtures/isinstance.pyi]
 [out]
-c.py:2: note: Revealed type is "Never"
+b.py:2: error: Cannot determine type of "y"
+c.py:2: note: Revealed type is "Any"
 ==
 c.py:2: note: Revealed type is "a.<subclass of "a.A" and "a.B">"
 

test-data/unit/pythoneval.test

@@ -1481,10 +1481,8 @@ if isinstance(x, int):
 [out]
 _testIsInstanceAdHocIntersectionWithStrAndBytes.py:3: error: Subclass of "str" and "bytes" cannot exist: would have incompatible method signatures
 _testIsInstanceAdHocIntersectionWithStrAndBytes.py:4: error: Statement is unreachable
-_testIsInstanceAdHocIntersectionWithStrAndBytes.py:4: note: Revealed type is "Never"
 _testIsInstanceAdHocIntersectionWithStrAndBytes.py:6: error: Subclass of "str" and "int" cannot exist: would have incompatible method signatures
 _testIsInstanceAdHocIntersectionWithStrAndBytes.py:7: error: Statement is unreachable
-_testIsInstanceAdHocIntersectionWithStrAndBytes.py:7: note: Revealed type is "Never"
 
 [case testAsyncioFutureWait]
 # mypy: strict-optional
@@ -1555,7 +1553,6 @@ if isinstance(obj, Awaitable):
 [out]
 _testSpecialTypingProtocols.py:6: note: Revealed type is "Tuple[builtins.int]"
 _testSpecialTypingProtocols.py:8: error: Statement is unreachable
-_testSpecialTypingProtocols.py:8: note: Revealed type is "Never"
 
 [case testTypeshedRecursiveTypesExample]
 from typing import List, Union

test-data/unit/reports.test

@@ -235,8 +235,7 @@ def bar(x):
 <span class="line-any" title="Any Types on this line:
 Explicit (x1)">    any_f(x)</span>
 <span class="line-precise" title="No Anys on this line!">    assert False</span>
-<span class="line-any" title="Any Types on this line:
-Explicit (x1)">    any_f(x)</span>
+<span class="line-unanalyzed" title="No Anys on this line!">    any_f(x)</span>
 </pre></td>
 </tr></tbody>
 </table>
@@ -297,10 +296,10 @@ def bar(x):
 [outfile report/any-exprs.txt]
  Name   Anys   Exprs   Coverage
 ---------------------------------
-    i      0       8    100.00%
+    i      1       6     83.33%
     j      0       5    100.00%
 ---------------------------------
-Total      0      13    100.00%
+Total      1      11     90.91%
 
 [case testAnyExprReportHigherKindedTypesAreNotAny]
 # cmd: mypy --any-exprs-report report i.py