From 3c3f75e9d837991afe569fbf11c206df63a3ee22 Mon Sep 17 00:00:00 2001
From: "Yuemao Xu (yuemxu)" <yuemxu@duosecurity.com>
Date: Mon, 17 Jun 2024 12:27:20 +0200
Subject: [PATCH] web: More accurate typing for get_cookie

---
 tornado/web.py | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/tornado/web.py b/tornado/web.py
index 30cef30bd6..1d82334729 100644
--- a/tornado/web.py
+++ b/tornado/web.py
@@ -617,6 +617,14 @@ def cookies(self) -> Dict[str, http.cookies.Morsel]:
         `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.