`Callable` isn't a special form

Typing
,
3

There’s also a 3rd difference:

  1. Currently, ParamSpec cannot be parametrized using an argument list containing a TypeVarTuple.
    Parametrizing **P with [*Ts]

This seems to be an underspecification on ParamSpec rather than Callable, but it impacts user-defined Callable protocols and aliases.

1 Like