incorrect tests

Author: hauntsaninja

test-data/unit/check-enum.test

@@ -1315,7 +1315,7 @@ reveal_type(x)      # N: Revealed type is "__main__.Foo"
 
 # ..and we get the same result if we have two disjoint groups within the same comp expr
 if x is Foo.A < x is Foo.B:
-    reveal_type(x)  # E: Statement is unreachable
+    reveal_type(x)  # N: Revealed type is "__main__.Foo"
 else:
     reveal_type(x)  # N: Revealed type is "__main__.Foo"
 reveal_type(x)      # N: Revealed type is "__main__.Foo"
@@ -1333,9 +1333,9 @@ class Foo(Enum):
 
 x: Foo
 if x is Foo.A is Foo.B:
-   reveal_type(x)   # E: Statement is unreachable
+   reveal_type(x)   # N: Revealed type is "Literal[__main__.Foo.A] | Literal[__main__.Foo.B]"
 else:
-   reveal_type(x)   # N: Revealed type is "__main__.Foo"
+   reveal_type(x)   # N: Revealed type is "Literal[__main__.Foo.C]"
 reveal_type(x)      # N: Revealed type is "__main__.Foo"
 
 literal_a: Literal[Foo.A]

test-data/unit/check-isinstance.test

@@ -2729,7 +2729,7 @@ from typing import Union
 
 y: str
 if type(y) is int:  # E: Subclass of "str" and "int" cannot exist: would have incompatible method signatures
-    y # E: Statement is unreachable
+    y  # E: Statement is unreachable
 else:
     reveal_type(y) # N: Revealed type is "builtins.str"
 [builtins fixtures/isinstance.pyi]

test-data/unit/check-narrowing.test

@@ -2296,7 +2296,7 @@ def f(x: str | int) -> None:
     if x in ["x"]:
         # TODO: we should fix this reveal https://github.com/python/mypy/issues/3229
         reveal_type(x)  # N: Revealed type is "builtins.str | builtins.int"
-        y = x
+        y = x  # E: Incompatible types in assignment (expression has type "str | int", variable has type "str")
         z = x
     z = y
 [builtins fixtures/primitives.pyi]

test-data/unit/check-optional.test

@@ -474,11 +474,11 @@ def main(x: Union[str, int, None]):
 from typing import Union
 x = ''  # type: Union[str, int, None]
 if x == object():
-    reveal_type(x)  # N: Revealed type is "builtins.str | builtins.int"
+    reveal_type(x)  # N: Revealed type is "builtins.str | builtins.int | None"
 else:
     reveal_type(x)  # N: Revealed type is "builtins.str | builtins.int | None"
 if x is object():
-    reveal_type(x)  # N: Revealed type is "builtins.str | builtins.int"
+    reveal_type(x)  # N: Revealed type is "builtins.str | builtins.int | None"
 else:
     reveal_type(x)  # N: Revealed type is "builtins.str | builtins.int | None"
 [builtins fixtures/ops.pyi]
@@ -489,7 +489,7 @@ from typing import Optional
 
 def main(x: Optional[str]):
     if x == 0:
-        reveal_type(x)  # E: Statement is unreachable
+        reveal_type(x)  # N: Revealed type is "builtins.str | None"
     else:
         reveal_type(x)  # N: Revealed type is "builtins.str | None"
     if x is 0:
@@ -514,21 +514,21 @@ else:
 
 [case testInferEqualsNotOptionalWithMultipleArgs]
 from typing import Optional
-x: Optional[int]
-y: Optional[int]
-if x == y == 1:
-    reveal_type(x)  # N: Revealed type is "builtins.int"
-    reveal_type(y)  # N: Revealed type is "builtins.int"
-else:
-    reveal_type(x)  # N: Revealed type is "builtins.int | None"
-    reveal_type(y)  # N: Revealed type is "builtins.int | None"
+
+def main(x: Optional[int], y: Optional[int]):
+    if x == y == 1:
+        reveal_type(x)  # N: Revealed type is "builtins.int | None"
+        reveal_type(y)  # N: Revealed type is "builtins.int | None"
+    else:
+        reveal_type(x)  # N: Revealed type is "builtins.int | None"
+        reveal_type(y)  # N: Revealed type is "builtins.int | None"
 
 class A: pass
 a: Optional[A]
 b: Optional[A]
 if a == b == object():
-    reveal_type(a)  # N: Revealed type is "__main__.A"
-    reveal_type(b)  # N: Revealed type is "__main__.A"
+    reveal_type(a)  # N: Revealed type is "__main__.A | None"
+    reveal_type(b)  # N: Revealed type is "__main__.A | None"
 else:
     reveal_type(a)  # N: Revealed type is "__main__.A | None"
     reveal_type(b)  # N: Revealed type is "__main__.A | None"

test-data/unit/check-python310.test

@@ -2938,9 +2938,9 @@ T_Choice = TypeVar("T_Choice", bound=b.One | b.Two)
 def switch(choice: type[T_Choice]) -> None:
     match choice:
         case b.One:
-            reveal_type(choice)  # N: Revealed type is "type[T_Choice`-1]"
+            reveal_type(choice)  # N: Revealed type is "def () -> b.One"
         case b.Two:
-            reveal_type(choice)  # N: Revealed type is "type[T_Choice`-1]"
+            reveal_type(choice)  # N: Revealed type is "def () -> b.Two"
         case _:
             reveal_type(choice)  # N: Revealed type is "type[T_Choice`-1]"