.

Author: hauntsaninja

test-data/unit/check-narrowing.test

@@ -3030,9 +3030,15 @@ class A:
         if type(self) is type(x):
             reveal_type(self)  # N: Revealed type is "__main__.A"
             reveal_type(x)  # N: Revealed type is "__main__.A"
+        else:
+            reveal_type(self)  # N: Revealed type is "__main__.A"
+            reveal_type(x)  # N: Revealed type is "builtins.object"
         if type(self) == type(x):
             reveal_type(self)  # N: Revealed type is "__main__.A"
             reveal_type(x)  # N: Revealed type is "__main__.A"
+        else:
+            reveal_type(self)  # N: Revealed type is "__main__.A"
+            reveal_type(x)  # N: Revealed type is "builtins.object"
 
 [builtins fixtures/primitives.pyi]