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 6107b0c commit 3e28c43Copy full SHA for 3e28c43
mypy/subtypes.py
@@ -636,6 +636,9 @@ def visit_type_var(self, left: TypeVarType) -> bool:
636
return True
637
if left.values and self._is_subtype(UnionType.make_union(left.values), right):
638
639
+ if left.has_default():
640
+ # Check if correct!
641
+ return self._is_subtype(left.default, self.right)
642
return self._is_subtype(left.upper_bound, self.right)
643
644
def visit_param_spec(self, left: ParamSpecType) -> bool:
0 commit comments