[Typing-sig] Re: PEP 696 - default inferred Generic

Hi, Yes this certainly should work, if you wish to try any PEP 696 related features, I have a prototype in mypy for this https://github.com/Gobot1234/mypy/tree/TypeVar-defaults and if mypy isn't your cup of tea, pyright/pylance has basic support for PEP 696 already. You need to import TypeVar from typing_extensions if you want anything to work at runtime however.