Pass all tests

Author: A5rocks

mypyc/test-data/irbuild-match.test

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

test-data/unit/check-incremental.test

@@ -5417,7 +5417,7 @@ tmp/c.py:2: note: Revealed type is "a.<subclass of "a.A" and "a.B">"
 [out2]
 tmp/c.py:2: note: Revealed type is "a.A"
 
-[case testIsInstanceAdHocIntersectionIncrementalUnreachaableToIntersection]
+[case testIsInstanceAdHocIntersectionIncrementalUnreachableToIntersection]
 import c
 [file a.py]
 class A:

test-data/unit/deps-classes.test

@@ -84,19 +84,23 @@ class A: pass
 <a> -> m
 
 [case testIfFalseInClassBody]
+from typing import Any
+
 class A:
     if False:
-        x = None  # type: str
+        x: Any = None
         x.foo()
 [builtins fixtures/bool.pyi]
 [out]
 <m.A> -> m.A
 
 [case testAlwaysFalseIsinstanceInClassBody]
+from typing import Any
+
 class A:
     x: int
     if isinstance(x, str):
-        y: str = None
+        y: Any = None
         y.foo()
 [builtins fixtures/isinstance.pyi]
 [out]

test-data/unit/deps.test

@@ -414,7 +414,9 @@ class B:
 
 def f(x: A) -> None:
     if isinstance(x, B):
-        x.y
+        # TODO: this should narrow to Never and therefore not error
+        #x.y
+        pass
 [builtins fixtures/isinstancelist.pyi]
 [out]
 <m.A> -> <m.f>, m.A, m.f
@@ -582,7 +584,7 @@ def f(a: A) -> None:
 [case testUnreachableAssignment]
 from typing import List, Tuple
 
-def f() -> None: pass
+def f() -> int: pass
 
 class C:
     def __init__(self, x: int) -> None:

test-data/unit/fine-grained.test

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