Use dunder parameter name in _Writer.write (#2954)

This commit is contained in:
Jia Chen
2019-05-04 19:51:39 -07:00
committed by Jelle Zijlstra
parent ec16e435eb
commit c4b249c9a8
2 changed files with 4 additions and 4 deletions

View File

@@ -1321,11 +1321,11 @@ else:
def ord(__c: Union[Text, bytes]) -> int: ...
if sys.version_info >= (3,):
class _Writer(Protocol):
def write(self, s: str) -> Any: ...
def write(self, __s: str) -> Any: ...
def print(*values: object, sep: Text = ..., end: Text = ..., file: Optional[_Writer] = ..., flush: bool = ...) -> None: ...
else:
class _Writer(Protocol):
def write(self, s: Any) -> Any: ...
def write(self, __s: Any) -> Any: ...
# This is only available after from __future__ import print_function.
def print(*values: object, sep: Text = ..., end: Text = ..., file: Optional[_Writer] = ...) -> None: ...
@overload