PEP 800: Solid bases in the type system

[Jelle (Jelle Zijlstra)]

Thanks!

I implemented the PEP here:

• PEP 800: Mark as Accepted by JelleZijlstra · Pull Request #4915 · python/peps · GitHub with the wording changes that the SC asked for
• gh-148639: Implement PEP 800 (typing.disjoint_base) by JelleZijlstra · Pull Request #148640 · python/cpython · GitHub runtime implementation with cautionary wording in What’s New
• Add PEP 800 (disjoint bases) by JelleZijlstra · Pull Request #2262 · python/typing · GitHub addition to the typing spec and conformance suite

@thomas could you take a look to see if the wording in the PEP and What’s New is what you’re looking for?

[encukou (Petr Viktorin)]

This note is a bit buried in the PEP; I think it should be mentioned in the documentation:

The exact set of classes that are disjoint bases at runtime may change again in future versions of Python.