.

Author: hauntsaninja

test-data/unit/check-narrowing.test

@@ -3177,14 +3177,14 @@ class B: ...
 
 T = TypeVar("T")
 
-def bad1(self, obj: T) -> T:
+def forgets_about_subclasses1(self, obj: T) -> T:
     if isinstance(obj, A):
         return A()  # E: Incompatible return value type (got "A", expected "T")
     elif isinstance(obj, B):
         return B()  # E: Incompatible return value type (got "B", expected "T")
     raise
 
-def f1(self, obj: T) -> T:
+def correct1(self, obj: T) -> T:
     if type(obj) == A:
         return A()  # E: Incompatible return value type (got "A", expected "T")
     elif type(obj) == B:
@@ -3193,14 +3193,14 @@ def f1(self, obj: T) -> T:
 
 T_value = TypeVar("T_value", A, B)
 
-def bad2(self, obj: T_value) -> T_value:
+def forgets_about_subclasses2(self, obj: T_value) -> T_value:
     if isinstance(obj, A):
         return A()  # E: Incompatible return value type (got "A", expected "B")
     elif isinstance(obj, B):
         return B()
     raise
 
-def f2(self, obj: T_value) -> T_value:
+def correct2(self, obj: T_value) -> T_value:
     if type(obj) == A:
         return A()
     elif type(obj) == B: