Jukka Lehtosalo

FWIW, I'm strongly against this change, mostly because of the confusing `Generator[T, None, None]` type, and in part because of the huge amount of changes required for arguably a pretty...

I believe that the wheel needs to be Python 3 compatible so that type checkers written in Python 3 (such as mypy) can use it easily, without needing a Python...

This sounds reasonable to me. Tkinter somehow feels like a separate entity from the rest of the stdlib in my mind, even though it's included with CPython. It also has...

Mypy would likely generate an error and suggest installing `types-tkinter` if the stubs are missing, but the code being type checked imports it. We'd also mention this in the mypy...

Note that changes to `Counter` typing may break existing annotations. There will likely be a tradeoff between allowing more flexibility and retaining compatibility with existing annotations.

I wonder if this is because of the `Food.taste = ...` assignment (an attribute is defined outside a class). What if you define it within the class body as `taste...

I wonder if it would be possible to use an overloaded function with literal types to fix this? Maybe something like `subprocess.Popen`: https://github.com/python/typeshed/blob/master/stdlib/3/subprocess.pyi#L809

Maybe somebody can give it a try and report your findings? None of the maintainers are familiar with pyright. At least functionality provided by the mypy plugin wouldn't be there,...

I'm with Ivan, and this is something we've considered earlier -- see the discussion at https://github.com/python/mypy/issues/1693, for example. The relatively minor benefits don't really seem worth the extra implementation work...

Some use cases (such as `open`) can now be supported pretty well by using overloads and literal types ([PEP 586](https://www.python.org/dev/peps/pep-0586/)).