diff --git a/peps/pep-0800.rst b/peps/pep-0800.rst index 58731e6be61..3b9254d494d 100644 --- a/peps/pep-0800.rst +++ b/peps/pep-0800.rst @@ -2,7 +2,7 @@ PEP: 800 Title: Disjoint bases in the type system Author: Jelle Zijlstra Discussions-To: https://discuss.python.org/t/99910/ -Status: Accepted +Status: Final Type: Standards Track Topic: Typing Created: 21-Jul-2025 @@ -11,6 +11,9 @@ Post-History: `18-Jul-2025 `__, Resolution: `15-Apr-2026 `__ +.. canonical-typing-spec:: :ref:`typing:disjoint-base` and + :external+py3.15:func:`@typing.disjoint_base ` + Abstract ========