Fix 4

Author: cdce8p

mypy/checkexpr.py

@@ -5245,6 +5245,18 @@ def visit_callable_type(self, t: CallableType) -> bool:
             return False
         return super().visit_callable_type(t)
 
+    def visit_type_var(self, t: TypeVarType) -> bool:
+        default = [t.default] if t.has_default() else []
+        return self.query_types([t.upper_bound, *default] + t.values)
+
+    def visit_param_spec(self, t: ParamSpecType) -> bool:
+        default = [t.default] if t.has_default() else []
+        return self.query_types([t.upper_bound, *default])
+
+    def visit_type_var_tuple(self, t: TypeVarTupleType) -> bool:
+        default = [t.default] if t.has_default() else []
+        return self.query_types([t.upper_bound, *default])
+
 
 def has_coroutine_decorator(t: Type) -> bool:
     """Whether t came from a function decorated with `@coroutine`."""

mypy/types.py

@@ -548,6 +548,12 @@ def new_unification_variable(cls, old: Self) -> Self:
         new_id = TypeVarId.new(meta_level=1)
         return old.copy_modified(id=new_id)
 
+    def has_default(self) -> bool:
+        return not (
+            isinstance(self.default, AnyType)
+            and self.default.type_of_any == TypeOfAny.from_omitted_generics
+        )
+
 
 class TypeVarType(TypeVarLikeType):
     """Type that refers to a type variable."""