We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 2c29487 commit a9b23ffCopy full SHA for a9b23ff
mypy/subtypes.py
@@ -628,6 +628,8 @@ def visit_type_var(self, left: TypeVarType) -> bool:
628
return True
629
if left.values and self._is_subtype(UnionType.make_union(left.values), right):
630
631
+ if left.has_default():
632
+ return self._is_subtype(left.default, self.right)
633
return self._is_subtype(left.upper_bound, self.right)
634
635
def visit_param_spec(self, left: ParamSpecType) -> bool:
0 commit comments