Marc Mueller

Just encountered a similar issue, but with `Literal` and `str`. Maybe that helps with debugging. ```py from typing import Container, Generic, TypeVar, Callable, Any _T = TypeVar("_T") class Attribute(Generic[_T]): ......

Looking at the PyPI download stats, I also think it would make sense to add wheels for `aarch64`. It's a bit unfortunate that the build takes so much longer than...

> Good call, thanks! Looking forward to checking out the impact here. Mypy `1.14.1` just shipped with `manylinux_aarch64` wheels. https://pypi.org/project/mypy/1.14.1/#files

> cc @cdce8p I think the primer hits suggest a mypy bug where it looks up "_StartT" in the wrong scope. Recursive TypeVar defaults was one of the things that...

> With some hackery it may be possible to point typeshed's CI at the mypy master branch so we can test earlier whether everything works as expected. @Sachaa-Thanasius You could...

I looked just at #7771. Tbh I'm not sure that fix the issue, at least I wasn't able to get it working. AFAICT the issue might be more fundamental. Let's...

> If someone wants to work towards getting this issue fixed, they should be prepared to implement and champion a change to the typing spec and/or changes to ParamSpec support...

> And created a reference implementation for mypy: [python/mypy#17123](https://github.com/python/mypy/pull/17123) With the mypy change applied, the primer diff would look like this ```diff mitmproxy (https://github.com/mitmproxy/mitmproxy) + mitmproxy/utils/asyncio_utils.py:62: error: Argument 1 to...

@alwaysmpe Feel free to open a new PR with your suggestion. That way we could test if it works and look at the mypy primer output.

Changed the target branch to `dev-5.5.0`.