mirror of
https://github.com/davidhalter/typeshed.git
synced 2025-12-08 21:14:48 +08:00
New additions to typing, typing_extensions (#7169)
This commit is contained in:
@@ -66,6 +66,10 @@ if sys.version_info >= (3, 8):
|
||||
# TypedDict is a (non-subscriptable) special form.
|
||||
TypedDict: object
|
||||
|
||||
if sys.version_info >= (3, 11):
|
||||
Self: _SpecialForm
|
||||
Never: _SpecialForm = ...
|
||||
|
||||
if sys.version_info < (3, 7):
|
||||
class GenericMeta(type): ...
|
||||
|
||||
@@ -697,6 +701,10 @@ def cast(typ: str, val: Any) -> Any: ...
|
||||
@overload
|
||||
def cast(typ: object, val: Any) -> Any: ...
|
||||
|
||||
if sys.version_info >= (3, 11):
|
||||
def reveal_type(__obj: _T) -> _T: ...
|
||||
def assert_never(__arg: Never) -> Never: ...
|
||||
|
||||
# Type constructors
|
||||
|
||||
class NamedTuple(tuple[Any, ...]):
|
||||
|
||||
Reference in New Issue
Block a user