From 9aabb149e3e8f2035a8f89c9e655945f920d86f1 Mon Sep 17 00:00:00 2001 From: Guido van Rossum Date: Wed, 6 Jan 2016 16:34:53 -0800 Subject: [PATCH] Simplify PY3 len() spec, no Union with tuple needed. --- builtins/3/builtins.pyi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/builtins/3/builtins.pyi b/builtins/3/builtins.pyi index 42a463a02..a4c749ced 100644 --- a/builtins/3/builtins.pyi +++ b/builtins/3/builtins.pyi @@ -645,7 +645,7 @@ def isinstance(o: object, t: Union[type, Tuple[type, ...]]) -> bool: ... def issubclass(cls: type, classinfo: type) -> bool: ... # TODO support this #def issubclass(type cld, classinfo: Sequence[type]) -> bool: ... -def len(o: Union[Sized, tuple]) -> int: ... +def len(o: Sized) -> int: ... def license() -> None: ... def locals() -> Dict[str, Any]: ... @overload