From 99e8ed42a4734adfe1a964f5734eed2d3af1a7fc Mon Sep 17 00:00:00 2001
From: Colin Gilgenbach <colin@gilgenbach.net>
Date: Thu, 29 Aug 2019 11:57:43 -0400
Subject: [PATCH] Mark ParamType.fail() as NoReturn (#3213)

This function just raises a click.BadParameter exception with the supplied arguments.
---
 third_party/2and3/click/core.pyi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/third_party/2and3/click/core.pyi b/third_party/2and3/click/core.pyi
index fa2413d69..68308ffc3 100644
--- a/third_party/2and3/click/core.pyi
+++ b/third_party/2and3/click/core.pyi
@@ -351,7 +351,7 @@ class _ParamType:
     def split_envvar_value(self, rv: str) -> List[str]:
         ...
 
-    def fail(self, message: str, param: Optional[Parameter] = ..., ctx: Optional[Context] = ...) -> None:
+    def fail(self, message: str, param: Optional[Parameter] = ..., ctx: Optional[Context] = ...) -> NoReturn:
         ...