From d09689f8115173e3b0b04365f5233164014a7a69 Mon Sep 17 00:00:00 2001
From: Jelle Zijlstra <jelle.zijlstra@gmail.com>
Date: Fri, 15 Apr 2022 15:17:37 -0700
Subject: [PATCH] Add typing_extensions.assert_type (#7627)

Hasn't been released yet but I'd like it to be in the next mypy release.
---
 stdlib/typing_extensions.pyi | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/stdlib/typing_extensions.pyi b/stdlib/typing_extensions.pyi
index 6d0b2d217..70f395446 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",
@@ -186,12 +187,19 @@ 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