If Shannon doesn't have it ready to merge, I can try to contribute both to typing/typing_extensions and Typeshed.

On Mon, May 25, 2020 at 10:08 PM Guido van Rossum <guido@python.org> wrote:

Shannon: since Pyre supports TypeAlias, presumably you have made some local changes to typing.py or typing_extensions. Do you have some code to share so we can get this into typing_extensions and the 3.10 copy of typing.py? (Also typeshed.)

On Mon, May 25, 2020 at 10:47 AM Mikhail Golubev via Typing-sig <typing-sig@python.org> wrote:

Thanks for clarifying the situation. It would be great to see TypeAlias in typing_extensions.

To give some context, we've already have preliminary support for PEP 613 in PyCharm, but now when
TypeAlias is neither implemented in 3.9 beta 1, nor available via typing_extensions, it wasn't clear whether
we should keep working on that to include in the next release or postpone until things clear up/Python 3.10.
Things cleared up :)
_______________________________________________
Typing-sig mailing list -- typing-sig@python.org
To unsubscribe send an email to typing-sig-leave@python.org
https://mail.python.org/mailman3/lists/typing-sig.python.org/
Member address: guido@python.org

--

--Guido van Rossum (python.org/~guido)

Pronouns: he/him (why is my pronoun here?)

--

Mikhail Golubev

Software Developer

JetBrains

http://www.jetbrains.com

The drive to develop