mirror of
https://github.com/davidhalter/typeshed.git
synced 2025-12-07 12:44:28 +08:00
exit function takes argument of any type. (#1116)
The type annotations for exit were incorrectly limited to int in two places; the others that I looked at are already correct.
This commit is contained in:
committed by
Guido van Rossum
parent
84371e812c
commit
7c413c904d
@@ -772,7 +772,7 @@ def eval(source: str, globals: Dict[str, Any] = None,
|
||||
locals: Mapping[str, Any] = None) -> Any: ... # TODO code object as source
|
||||
def exec(object: str, globals: Dict[str, Any] = None,
|
||||
locals: Mapping[str, Any] = None) -> Any: ... # TODO code object as source
|
||||
def exit(code: int = None) -> NoReturn: ...
|
||||
def exit(code: Any = ...) -> NoReturn: ...
|
||||
@overload
|
||||
def filter(function: Callable[[_T], Any], iterable: Iterable[_T]) -> Iterator[_T]: ...
|
||||
@overload
|
||||
|
||||
Reference in New Issue
Block a user