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): ...