mirror of
https://github.com/davidhalter/typeshed.git
synced 2026-01-25 04:16:44 +08:00
Mark ParamType.fail() as NoReturn (#3213)
This function just raises a click.BadParameter exception with the supplied arguments.
This commit is contained in:
committed by
Sebastian Rittau
parent
ae881faaf1
commit
99e8ed42a4
2
third_party/2and3/click/core.pyi
vendored
2
third_party/2and3/click/core.pyi
vendored
@@ -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:
|
||||
...
|
||||
|
||||
|
||||
|
||||
Reference in New Issue
Block a user