.param_spec() not available here

Author: sterliakov

mypy/subtypes.py

@@ -1718,7 +1718,7 @@ def g(x: int) -> int: ...
         ignore_pos_arg_names=ignore_pos_arg_names,
         allow_partial_overlap=allow_partial_overlap,
         strict_concatenate_check=strict_concatenate_check,
-        map_template_paramspec=map_template_paramspec,
+        template_has_paramspec=map_template_paramspec and right.param_spec() is not None,
     )
 
 
@@ -1755,7 +1755,7 @@ def are_parameters_compatible(
     ignore_pos_arg_names: bool = False,
     allow_partial_overlap: bool = False,
     strict_concatenate_check: bool = False,
-    map_template_paramspec: bool = False,
+    template_has_paramspec: bool = False,
 ) -> bool:
     """Helper function for is_callable_compatible, used for Parameter compatibility"""
     if right.is_ellipsis_args and not is_proper_subtype:
@@ -1784,8 +1784,6 @@ def are_parameters_compatible(
         # a subtype of erased template type.
         trivial_vararg_suffix = True
 
-    right_is_pspec = map_template_paramspec and right.param_spec() is not None
-
     # Match up corresponding arguments and check them for compatibility. In
     # every pair (argL, argR) of corresponding arguments from L and R, argL must
     # be "more general" than argR if L is to be a subtype of R.
@@ -1822,7 +1820,7 @@ def _incompatible(left_arg: FormalArgument | None, right_arg: FormalArgument | N
         _incompatible(left_star, right_star)
         and not trivial_vararg_suffix
         or _incompatible(left_star2, right_star2)
-    ) and not right_is_pspec:
+    ) and not template_has_paramspec:
         return False
 
     # Phase 1b: Check non-star args: for every arg right can accept, left must
@@ -1853,7 +1851,7 @@ def _incompatible(left_arg: FormalArgument | None, right_arg: FormalArgument | N
     #           arguments. Get all further positional args of left, and make sure
     #           they're more general than the corresponding member in right.
     # TODO: handle suffix in UnpackType (i.e. *args: *Tuple[Ts, X, Y]).
-    if right_star is not None and not trivial_vararg_suffix and not right_is_pspec:
+    if right_star is not None and not trivial_vararg_suffix and not template_has_paramspec:
         # Synthesize an anonymous formal argument for the right
         right_by_position = right.try_synthesizing_arg_from_vararg(None)
         assert right_by_position is not None
@@ -1880,7 +1878,7 @@ def _incompatible(left_arg: FormalArgument | None, right_arg: FormalArgument | N
     # Phase 1d: Check kw args. Right has an infinite series of optional named
     #           arguments. Get all further named args of left, and make sure
     #           they're more general than the corresponding member in right.
-    if right_star2 is not None and not right_is_pspec:
+    if right_star2 is not None and not template_has_paramspec:
         right_names = {name for name in right.arg_names if name is not None}
         left_only_names = set()
         for name, kind in zip(left.arg_names, left.arg_kinds):