Bad interaction between ParamSpec and TypeVarTuple

This should type check, but

from typing import Callable, TypeVarTuple

def run[T, **P](fn: Callable[P, T], *args: P.args, **kwargs: P.kwargs) -> T: ...
def coroutine_or_error[*Us](async_fn: Callable[[*Us], int], *args: *Us) -> int: ...

def test[*Ts](async_fn: Callable[[*Ts], int], args: tuple[*Ts]) -> None:
    run(coroutine_or_error, async_fn, *args)

https://mypy-play.net/?mypy=latest&python=3.12&gist=e43aee5d75dd536ed2529b3dc052e630 gives

Argument 1 to "run" has incompatible type "Callable[[Callable[[VarArg(*Us)], int], VarArg(*Us)], int]"; expected "Callable[[Callable[[VarArg(*Ts)], int], VarArg(object)], int]"  [arg-type]

Example derived from https://github.com/python-trio/trio/blob/f1039299644dfaf6dcd60ed29a4a3a51494d09a4/src/trio/_core/_run.py#L1970

Reproduisez le snippet de l’exemple mypy-play lié et comparez le diagnostic signalé de ParamSpec et TypeVarTuple. Lisez le point d’entrée de Trio référencé dans src/trio/_core/_run.py#L1970 pour comprendre le cas d’utilisation qui en découle. C’est terminé lorsque l’exemple passe la vérification de types sans l’erreur Callable incompatible.