PEP 673 (Self Type) tracker

[srittau]

This issue is supposed to track when we can start to use typing_extensions.Self (PEP 673) in typeshed. Support is needed in released versions of:

• PEP accepted
• mypy (Add support for Self type mypy#14041)
• pytype
• pyright (Implement proposed "Self" type microsoft/pyright#2515)
• pyre
• PyCharm (nice to have, but not required)

[Gobot1234]

I've opened a PR for this to mypy python/mypy#11666 (although it's marked as a draft).

[tmke8]

PEP has been accepted: https://mail.python.org/archives/list/typing-sig@python.org/thread/J7BWL5KWOPQQK5KFWKENVLXW6UGSPTGI/

[johnthagen]

PyCharm 2022.3 supports the Self type

• https://www.jetbrains.com/pycharm/whatsnew/#editor

[cj81499]

The mypy PR in the issue description appears to be merged. Is there something still blocked use from a mypy perspective? Or does the description need to be updated?

[TeamSpen210]

It's merged, but still awaiting a release.

[srittau]

Once that happens, we can try start using it in typeshed. I suspect that pytype will accept it as it's quite permissive. I don't know about pyre.

[tmke8]

I can find 10 hits for from typing_extensions import Self in the pyre integration tests:

https://github.com/facebook/pyre-check/blob/2da1844a4ae1861bf5b765a80feaf463a62d8831/source/analysis/test/integration/typeVariableTest.ml#L3593

So I'd guess that pyre support is pretty good.

[johnthagen]

mypy 1.0 has released with support for Self:

• https://pypi.org/project/mypy/1.0.0/
• https://mypy-lang.blogspot.com/2023/02/mypy-10-released.html

[srittau]

We started using this in the stdlib, and nothing exploded. I guess this means this is supported now.