`Callable` isn't a special form

[KotlinIsland]

@jorenham

**InTs is a ParamSpec, but as far as I’m aware, ParamSpec is always invariant, and cannot be defined contravariant.

Parameter specifications should have variance

Code sample in basedpyright playground from typing import Callable, Protocol, runtime_checkable @runtime_checkable class CanCall[**InP, OutT](Protocol): @staticmethod def __call__(*args: InP.args, **kwargs: InP.kwargs) -> OutT: ... def f1(takes_object: CanCall[[object], None]): takes_int: CanCall[[int], None] = takes_object def f2(takes_object: Callable[[object], None]): takes_int: Callable[[int], None] = takes_object # Type parameter "InP@CanCall" is invariant, but "(obje…