PEP 800 – Disjoint bases in the type system

[JelleZijlstra]

Please consider PEP 800 – Disjoint bases in the type system
https://peps.python.org/pep-0800/

• The PEP has been discussed in threads listed in its Post-History header
• The PEP was announced on Discuss (link in Post-History)
• The PEP includes all relevant Suggested Sections
• The PEP includes endorsements from the projects/groups/people it helps
• The PEP has a CODEOWNERS entry

SIG-specific:

• Typing PEPs: link to the Typing Council's recommendation for the PEP: PEP 800 typing-council#49
• Packaging PEPs: don't file the issue here, ask the delegate (Paul Moore) on Packaging Discourse

This is a small addition to the type system to help type checkers understand one aspect of the runtime.