Diff frommypy_primer, showing the effect of this PR on open source code:

graphql-core (https://github.com/graphql-python/graphql-core): typechecking got 1.06x slower (313.1s -> 331.1s)(Performance measurements are based on a single noisy sample)

So to be clear this allowsCallable[[Unpack[TD]], T], whereTD is a TypedDict. It's pretty obvious what that means, but I don't think any PEP prescribes it (PEP 692 says nothing aboutCallable[]), so I'm uncomfortable adding this to mypy without further discussion and buy-in from other type checkers.

@JelleZijlstra I don't like the model where people outside of mypy have to say anything about whether a given feature should be in mypy or not. We can coordinate on details of semantics of certain constructs, to achieve better compatibility (especially for use in typeshed), but this doesn't really apply here, since semantics is quite obvious.

This idea could even be extended toParamSpec:

P=ParamSpec("P")classC(Generic[P]):def__init__(self,f:Callable[P,None]): ...classArgs(TypedDict):x:inty:strdeff(*,x:int,y:str)->None: ...c:C[[Unpack[Args]]]=C(f)# OKd:C[[int,str]]==C(f)# error because `f` expects keyword arguments?

@tmke8 Yes, this is totally possible. It however may be a bit trickier to implement (and I am busy with other things now). You can open a separate issue for this.