Fix isinstance argument

A5rocks · A5rocks · commit 16d4dcff68d2 · 2024-08-28T07:33:10.000+09:00
diff --git a/mypy/subtypes.py b/mypy/subtypes.py
@@ -1610,7 +1610,7 @@ def are_parameters_compatible(
             isinstance(right_star_inner_type, Instance)
             and right_star_inner_type.type.fullname == "builtins.tuple"
             and len(right_star_inner_type.args) == 1
-            and isinstance(right_star_inner_type.args[0], AnyType)
+            and isinstance(get_proper_type(right_star_inner_type.args[0]), AnyType)
         )
     else:
         trivial_varargs = False

Original file line number	Diff line number	Diff line change
`@@ -1610,7 +1610,7 @@ def are_parameters_compatible(`
`1610`	`1610`	`isinstance(right_star_inner_type, Instance)`
`1611`	`1611`	`and right_star_inner_type.type.fullname == "builtins.tuple"`
`1612`	`1612`	`and len(right_star_inner_type.args) == 1`
`1613`		`- and isinstance(right_star_inner_type.args[0], AnyType)`
	`1613`	`+ and isinstance(get_proper_type(right_star_inner_type.args[0]), AnyType)`
`1614`	`1614`	`)`
`1615`	`1615`	`else:`
`1616`	`1616`	`trivial_varargs = False`