Support PEP 613

[Hibou57]

🚀 Feature

Support type aliasing as in PEP 613

Pitch

Conclusion in this comment of a closed issue: #9402 (comment)

[hauntsaninja]

One small note here is that we should be mindful of the intersection with from __future__ import annotations and PEP 585. That is, it would be nice to support the following on Python 3.7:

from __future__ import annotations
x: TypeAlias = "list[int]"

[cpontvieux-systra]

Any update or merge request to work on?

[JelleZijlstra]

For anyone interested in seeing this feature, I suspect it's going to be relatively easy to implement since it won't affect any type-checking logic: it's just additions to the parser and semantic analyzer to recognize type aliases in a new context. Contributions would be welcome!