Skip to content

Add typing_extensions.assert_type #7627

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
JelleZijlstra merged 3 commits into from
Apr 15, 2022
Merged

Add typing_extensions.assert_type #7627

Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
6033da4
Add typing_extensions.assert_type
JelleZijlstra Apr 15, 2022
78d386d
[pre-commit.ci] auto fixes from pre-commit.com hooks
pre-commit-ci[bot] Apr 15, 2022
f3a3658
__all__
JelleZijlstra Apr 15, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
10 changes: 9 additions & 1 deletion stdlib/typing_extensions.pyi
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -56,6 +56,7 @@ __all__ = [
"SupportsIndex",
"Annotated",
"assert_never",
"assert_type",
"dataclass_transform",
"final",
"IntVar",
Expand Down Expand Up @@ -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
Expand Down