typeshed icon indicating copy to clipboard operation
typeshed copied to clipboard
verified publisher icon python

PEP 742 (TypeIs) tracker

Open JelleZijlstra opened this issue 2 years ago • 0 comments

This issue is supposed to track when we can start to use the TypeIs special form (PEP 742 in typeshed. Support is needed in released versions of:

  • [ ] PEP accepted
  • [ ] mypy (python/mypy#16898)
  • [ ] pytype (google/pytype#1588)
  • [ ] pyright (microsoft/pyright#7293)
  • [ ] pyre (optional)
  • [ ] PyCharm (optional)

Please reference this issue as needed from other issues/PRs to collect places that we might want to update.

Once this is supported, many (most?) TypeGuard functions in typeshed should be changed to use TypeIs.

JelleZijlstra avatar Feb 19 '24 06:02 JelleZijlstra