Mark 3.13 PEPs as Final

[hugovk]

Here's the accepted PEPs targeting 3.13 which I think made the beta feature freeze:

• PEP-696 Type Defaults for Type Parameters @Gobot1234
• PEP-702 Marking deprecations using the type system @JelleZijlstra
• PEP-705 TypedDict: Read-only items @alicederyn
• PEP-742 Narrowing types with TypeIs @JelleZijlstra

Please can the authors check the "Mark as Final" checklist then open PRs to update the status here? Thank you!

---

The other accepted PEPs targeting 3.13:

• PEP-649 Deferred Evaluation Of Annotations Using Descriptors: will likely done for 3.14 instead
• PEP-703 Making the Global Interpreter Lock Optional in CPython: this is a multi-Python version PEP, it'll be several releases before it can be marked as final. Perhaps we'll retarget it at 3.14 etc as we go, or leave it as 3.13 when work began.
• PEP-738 Adding Android as a supported platform: I think this is mostly there except for some CI things, so hopefully it will still make 3.13.

---

See also:

• Mark remaining completed PEPs as Final #2872
• Typing PEPs: Link to the typing spec as canonical documentation #3579

[alicederyn]

@hugovk For typing PEPs, does "Final implementation has been merged" mean only the changes to CPython, or does it include mypy?

[JelleZijlstra]

It does not include mypy, but does include changes to the typing spec and conformance tests.