From 6033da4d4ccfe31df6f0fc4055526926a3a54818 Mon Sep 17 00:00:00 2001 From: Jelle Zijlstra Date: Fri, 15 Apr 2022 14:50:52 -0700 Subject: [PATCH 1/3] Add typing_extensions.assert_type Hasn't been released yet but I'd like it to be in the next mypy release. --- stdlib/typing_extensions.pyi | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/stdlib/typing_extensions.pyi b/stdlib/typing_extensions.pyi index 6d0b2d217ce1..86975137445e 100644 --- a/stdlib/typing_extensions.pyi +++ b/stdlib/typing_extensions.pyi @@ -186,12 +186,13 @@ else: # New things in 3.11 if sys.version_info >= (3, 11): - from typing import Never as Never, Self as Self, assert_never as assert_never, reveal_type as reveal_type + from typing import Never as Never, Self as Self, assert_never as assert_never, assert_type as assert_type, reveal_type as reveal_type else: Self: _SpecialForm Never: _SpecialForm def reveal_type(__obj: _T) -> _T: ... def assert_never(__arg: NoReturn) -> NoReturn: ... + def assert_type(__val: _T, __typ: Any) -> _T: ... # Experimental (hopefully these will be in 3.11) Required: _SpecialForm From 78d386d4c00254f6da3ec47454ab27877ae36624 Mon Sep 17 00:00:00 2001 From: "pre-commit-ci[bot]" <66853113+pre-commit-ci[bot]@users.noreply.github.com> Date: Fri, 15 Apr 2022 21:52:16 +0000 Subject: [PATCH 2/3] [pre-commit.ci] auto fixes from pre-commit.com hooks --- stdlib/typing_extensions.pyi | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/stdlib/typing_extensions.pyi b/stdlib/typing_extensions.pyi index 86975137445e..e9be21ea1dc9 100644 --- a/stdlib/typing_extensions.pyi +++ b/stdlib/typing_extensions.pyi @@ -186,7 +186,13 @@ else: # New things in 3.11 if sys.version_info >= (3, 11): - from typing import Never as Never, Self as Self, assert_never as assert_never, assert_type as assert_type, reveal_type as reveal_type + from typing import ( + Never as Never, + Self as Self, + assert_never as assert_never, + assert_type as assert_type, + reveal_type as reveal_type, + ) else: Self: _SpecialForm Never: _SpecialForm From f3a36581e02d8fcf85d1169fdeb999d47c439e39 Mon Sep 17 00:00:00 2001 From: Jelle Zijlstra Date: Fri, 15 Apr 2022 14:58:39 -0700 Subject: [PATCH 3/3] __all__ --- stdlib/typing_extensions.pyi | 1 + 1 file changed, 1 insertion(+) diff --git a/stdlib/typing_extensions.pyi b/stdlib/typing_extensions.pyi index e9be21ea1dc9..70f395446b0b 100644 --- a/stdlib/typing_extensions.pyi +++ b/stdlib/typing_extensions.pyi @@ -56,6 +56,7 @@ __all__ = [ "SupportsIndex", "Annotated", "assert_never", + "assert_type", "dataclass_transform", "final", "IntVar",