From feeb5a65bd8a921ed39f224c7c11581685da9182 Mon Sep 17 00:00:00 2001 From: Alex Waygood Date: Mon, 25 Aug 2025 19:44:47 +0100 Subject: [PATCH 1/2] PEP 800: note that ty now supports `@disjoint_base` --- peps/pep-0800.rst | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/peps/pep-0800.rst b/peps/pep-0800.rst index 5c13bbbdd2e..8c812c6137b 100644 --- a/peps/pep-0800.rst +++ b/peps/pep-0800.rst @@ -371,10 +371,12 @@ explain to users why type checkers treat certain branches as unreachable. Reference Implementation ======================== -The runtime implementation of the ``@disjoint_base`` decorator will be available in +The runtime implementation of the ``@disjoint_base`` decorator is available in typing-extensions 4.15.0. `python/mypy#19678 `__ implements support for disjoint bases in mypy and in the stubtest tool. +`astral-sh/ruff#20084 `__ +implements support for disjoint bases in the ty type checker. Appendix ======== From fbaea9a331440bc3616ee57cb1617fea0092b16d Mon Sep 17 00:00:00 2001 From: Alex Waygood Date: Mon, 25 Aug 2025 19:48:40 +0100 Subject: [PATCH 2/2] Update peps/pep-0800.rst Co-authored-by: Adam Turner <9087854+AA-Turner@users.noreply.github.com> --- peps/pep-0800.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/peps/pep-0800.rst b/peps/pep-0800.rst index 8c812c6137b..5809b45e2e3 100644 --- a/peps/pep-0800.rst +++ b/peps/pep-0800.rst @@ -372,7 +372,7 @@ Reference Implementation ======================== The runtime implementation of the ``@disjoint_base`` decorator is available in -typing-extensions 4.15.0. +`typing-extensions 4.15.0 `__. `python/mypy#19678 `__ implements support for disjoint bases in mypy and in the stubtest tool. `astral-sh/ruff#20084 `__