Fix a couple of type name collisions (#4419)

PEP 484 indicates that all type annotations within a stub file are supposed to be considered forward references even if they are not quoted. This means a type checker needs to use scope-based symbol resolution without regard for code flow order. Lookups will find same-named symbols within the same scope even if they are declared after the type annotation. This change fixes a couple of cases where this occurs and confuses pyright.

Co-authored-by: Eric Traut <erictr@microsoft.com>
This commit is contained in:
Eric Traut
2020-08-08 02:29:23 -07:00
committed by GitHub
parent 17db12866b
commit e4b48edbba
2 changed files with 7 additions and 3 deletions

View File

@@ -4,6 +4,7 @@
# based on http://docs.python.org/3.2/library/sys.html
import sys
from builtins import object as _object
from importlib.abc import MetaPathFinder
from types import FrameType, ModuleType, TracebackType
from typing import Any, Callable, Dict, List, NoReturn, Optional, Sequence, TextIO, Tuple, Type, TypeVar, Union, overload
@@ -208,7 +209,7 @@ if sys.version_info >= (3, 8):
exc_value: Optional[BaseException]
exc_traceback: Optional[TracebackType]
err_msg: Optional[str]
object: Optional[object]
object: Optional[_object]
unraisablehook: Callable[[UnraisableHookArgs], Any]
def addaudithook(hook: Callable[[str, Tuple[Any, ...]], Any]) -> None: ...
def audit(__event: str, *args: Any) -> None: ...