functools.partial forwards ParamSpec args and kwargs incorrectly

[NeilGirdhar]

from typing import TypeVar, ParamSpec, Generic, Protocol
from collections.abc import Callable
from functools import partial

V_co = TypeVar("V_co", covariant=True)
P = ParamSpec("P")

class Wrapped(Protocol, Generic[P, V_co]):
  def __call__(self, *args: P.args, **kwargs: P.kwargs) -> V_co:
    raise NotImplementedError

def jit(fun: Callable[P, V_co],
        argnames: str | None = None
        ) -> Wrapped[P, V_co]:
  ...

@partial(jit, argnames='debug')
def some_function(debug: bool = False):
  pass

some_function(debug=False)
# a.py:22: error: Argument "debug" to "__call__" of "Wrapped" has incompatible type "bool"; expected "P.kwargs"  [arg-type]

MyPy 1.6.1 is for some reason exposing "P.kwargs" and demanding it as a parameter!

(PyRight produces no errors.)

May possibly be related to #15215, but this gives a very different error.

[ilevkivskyi]

Works on master. (It however infers quite imprecise type, but this is because partial is imprecisely typed).

[NeilGirdhar]

@ilevkivskyi Should we leave an issue open regarding inferring a precise type for partial?

[ilevkivskyi]

There is a separate issue for partial #1484