From b9c81fe2f0c93af0538923269eab1063f8fbd653 Mon Sep 17 00:00:00 2001 From: Adam Dangoor Date: Mon, 12 Oct 2020 12:47:54 +0100 Subject: [PATCH] =?UTF-8?q?Add=20some=20return=20type=20hints=20for=20meth?= =?UTF-8?q?ods=20of=20Werkzeug's=20EnvironBuilder=20c=E2=80=A6=20(#4653)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- third_party/2and3/werkzeug/test.pyi | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/third_party/2and3/werkzeug/test.pyi b/third_party/2and3/werkzeug/test.pyi index 40d074fec..7624869f3 100644 --- a/third_party/2and3/werkzeug/test.pyi +++ b/third_party/2and3/werkzeug/test.pyi @@ -74,12 +74,12 @@ class EnvironBuilder: form: Any files: Any @property - def server_name(self): ... + def server_name(self) -> str: ... @property - def server_port(self): ... - def __del__(self): ... - def close(self): ... - def get_environ(self): ... + def server_port(self) -> int: ... + def __del__(self) -> None: ... + def close(self) -> None: ... + def get_environ(self) -> WSGIEnvironment: ... def get_request(self, cls: Optional[Any] = ...): ... class ClientRedirectError(Exception): ...