VimPlug/typeshed
1
0
Fork 0
mirror of https://github.com/davidhalter/typeshed.git synced 2025-12-08 04:54:47 +08:00
Code Issues Actions Packages Projects Releases Wiki Activity

Add typing_extensions.assert_type (#7627)

Browse Source 
Hasn't been released yet but I'd like it to be in the next mypy release.
This commit is contained in:
Jelle Zijlstra
2022-04-15 15:17:37 -07:00
committed by GitHub
parent e0654bdbc0
commit d09689f811
1 changed files with 9 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
stdlib/typing_extensions.pyi
View File

@@ -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