Python 3.13 tracking issue

[hauntsaninja]

• PEP 696 (partially supported) Support PEP 696 – Type defaults for TypeVarLikes #14851
• PEP 702 Add support for PEP 702 (@deprecated) #16111
• PEP 742 (still needs documentation Document TypeIs #17156)
• PEP 705 (needs docs Add ReadOnly support for TypedDicts #17644)
• Support NamedTuple.__replace__ Support namedtuple.__replace__ in Python 3.13 #17259
• Require 3.13 tests to pass in CI Test Python 3.13 against latest #17812
• Stubgen tests passing Fix stubgen for Python 3.13 #17290
• Update mypyc to support 3.13 Support Python 3.13 mypyc/mypyc#1056

See Python 3.12 tracking issue here: #15277

(feel free to edit this issue)

[hauntsaninja]

Thank you to @cdce8p for all your work towards making mypy/c work on 3.13!

[Sebcio03]

Anything I can help with?

[hauntsaninja]

Note for almost all use cases mypy 1.12 and newer will work great on Python 3.13

If you're interested in helping, one thing that isn't too hard is posting a summary in the PEP 696 and 702 issues of what remains to be done based on running mypy master against the conformance test suites in https://github.com/python/typing/tree/main/conformance

You could also take a look into what it would take to make mypy/mypyc work well with free threading. See mypyc/mypyc#1038. One thing here could be to look into moving mypyc to use multi-phase module init, this would also help with subinterpreters in Python 3.12 and newer

[tyralla]

I had a look at the PEP 702-related part of the conformance test suite and found that Mypy's master branch misses one E. I sneaked the quick fix into the related PR #18090.

There are still two or three E?s that may require attention, and #18085 needs still discussion, but I think/hope Mypy 1.14 will cover the most frequent/relevant cases.

[mvanderlee]

Python 3.13 added typing.NoDefault: https://docs.python.org/3/library/typing.html#typing.NoDefault

Using it causes error: Module "typing" has no attribute "NoDefault" [attr-defined]

Edit: Turns out I forgot to update the pre-commit version of mypy. 🤦‍♂️ Thank you @JelleZijlstra

[JelleZijlstra]

@mvanderlee typing.NoDefault is already present in mypy's bundled stubs (

mypy/mypy/typeshed/stdlib/typing.pyi

Line 1064 in c00f82f

NoDefault: _NoDefaultType

). I haven't tracked down when it was added, but it's likely that you're using an old version of mypy.

[hauntsaninja]

I think we can call this done