PEP 647: Mark as Final

[hugovk]

• Final implementation has been merged (including tests and docs)
• PEP matches the final implementation
• Any substantial changes since the accepted version approved by the SC/PEP delegate
• Pull request title in appropriate format (PEP 123: Mark Final)
• Status changed to Final (and Python-Version is correct)
• Canonical docs/spec linked with a canonical-doc directive (or canonical-pypa-spec, for packaging PEPs)

Helps #2872 and #3579.

Link to https://docs.python.org/3/library/typing.html#typing.TypeGuard as the canonical docs, and remove some redundant headers.

cc @Fidget-Spinner

---

📚 Documentation preview 📚: https://pep-previews--3577.org.readthedocs.build/pep-0647/

[Fidget-Spinner]

Oh yeah the implementation is done. Source: me and Guido implemented it https://docs.python.org/3/whatsnew/3.10.html#pep-647-user-defined-type-guards.

[JelleZijlstra]

I'd prefer to wait until the typing spec is merged, then point to the spec as the canonical implementation. (This goes for all typing PEPs.)

[hugovk]

That sounds like a good idea, about half of the 45 "may not be implemented yet" PEPs are typing. :)

Until then, shall I close this and #3575, or convert them to drafts?

[gvanrossum]

I'd prefer to wait until the typing spec is merged, then point to the spec as the canonical implementation. (This goes for all typing PEPs.)

Did you mean canonical documentation?

[JelleZijlstra]

Did you mean canonical documentation?

Oops, yes.

Until then, shall I close this and #3575, or convert them to drafts?

Let's just wait. We should be able to merge the spec once Guido OKs it :)

[hugovk]

I think I accidentally deleted this branch in December, which closed the PR.

Anyway, the typing spec has been published so we can link there now. PR updated and re-opened!