**Bug Report** Passing `ParamSpec`'d function (e.g. named `spawn`) to itself results in an error: ``` Argument 1 to "spawn" has incompatible type "Callable[[Arg(Callable[P, T], 'f'), **P], str]"; expected "Callable[[Arg(Callable[P, T], 'f'), **P], str]" ``` ^ indentation added to highlight that the 'actual' and 'expected' types are the same (at least in their rendered form) My motivation was to type-annotate `Greenlet.spawn` of the `gevent` library. **To Reproduce** Gist URL: https://gist.github.com/05a7c5bb1a380684d82210e5589fb048 Playground URL: https://mypy-play.net/?mypy=latest&python=3.10&gist=05a7c5bb1a380684d82210e5589fb048 **Your Environment** - Mypy version used: 0.961 - Python version used: 3.10
Activity
Infer ParamSpec constraint from arguments (#15896)