<!-- Fill in the blanks: --> Please consider PEP 800 – Disjoint bases in the type system https://peps.python.org/pep-0800/ * [x] The PEP has been discussed in threads listed in its `Post-History` header <!-- You can add extra discussion links here, e.g. to individual comments. --> * [x] The PEP was announced on [Discuss](https://discuss.python.org/c/peps/19) (link in `Post-History`) <!-- Generally you should wait about a week for people to react there before filing this issue. --> * [x] The PEP includes all relevant [Suggested Sections](https://peps.python.org/pep-0012/#suggested-sections) * [ ] The PEP includes endorsements from the projects/groups/people it helps <!-- e.g. if you say “this feature would help NumPy”, back it up with a statement from NumPy developers --> * [x] The PEP has a CODEOWNERS entry <!-- https://github.com/python/peps/blob/main/.github/CODEOWNERS --> SIG-specific: * [x] *Typing* PEPs: link to the [Typing Council](https://github.com/python/typing-council)'s recommendation for the PEP: https://github.com/python/typing-council/issues/49 * [ ] *Packaging* PEPs: don't file the issue here, ask the delegate (Paul Moore) on [Packaging Discourse](https://discuss.python.org/c/packaging/14) <!-- Thank you for your proposal to improve Python! --> This is a small addition to the type system to help type checkers understand one aspect of the runtime.
Please consider PEP 800 – Disjoint bases in the type system
https://peps.python.org/pep-0800/
Post-HistoryheaderPost-History)SIG-specific:
This is a small addition to the type system to help type checkers understand one aspect of the runtime.