web: More accurate typing for get_cookie

diff --git a/tornado/web.py b/tornado/web.py
index 30cef30bd6d209615c24bf91a5d1de216ee8b751..1d823347294cc4f1d783fef32f828a9076ee59da 100644 (file)
--- a/tornado/web.py
+++ b/tornado/web.py
@@ -617,6 +617,14 @@ class RequestHandler(object):
         `self.request.cookies <.httputil.HTTPServerRequest.cookies>`."""
         return self.request.cookies
 
+    @overload
+    def get_cookie(self, name: str, default: str) -> str:
+        pass
+
+    @overload
+    def get_cookie(self, name: str, default: None = None) -> Optional[str]:
+        pass
+
     def get_cookie(self, name: str, default: Optional[str] = None) -> Optional[str]:
         """Returns the value of the request cookie with the given name.