From c079b6355114d887288d757e18a8aa71fd1eb787 Mon Sep 17 00:00:00 2001 From: Ali Hamdan Date: Sat, 21 Dec 2024 14:40:29 +0100 Subject: [PATCH 1/2] Fix typo in `TypeIs` docstring --- src/typing_extensions.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/typing_extensions.py b/src/typing_extensions.py index e242d427..d4e75de4 100644 --- a/src/typing_extensions.py +++ b/src/typing_extensions.py @@ -2141,7 +2141,7 @@ def TypeIs(self, parameters): 1. The return value is a boolean. 2. If the return value is ``True``, the type of its argument - is the intersection of the type inside ``TypeGuard`` and the argument's + is the intersection of the type inside ``TypeIs`` and the argument's previously known type. For example:: From aa384cf1c51a21a5ba2ab07ddb580a3224c28a9c Mon Sep 17 00:00:00 2001 From: Ali Hamdan Date: Sat, 21 Dec 2024 15:27:15 +0100 Subject: [PATCH 2/2] Another one --- src/typing_extensions.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/typing_extensions.py b/src/typing_extensions.py index d4e75de4..993a284d 100644 --- a/src/typing_extensions.py +++ b/src/typing_extensions.py @@ -2189,7 +2189,7 @@ def __getitem__(self, parameters): 1. The return value is a boolean. 2. If the return value is ``True``, the type of its argument - is the intersection of the type inside ``TypeGuard`` and the argument's + is the intersection of the type inside ``TypeIs`` and the argument's previously known type. For example::