From: Ismo Toijala Date: Wed, 28 Nov 2018 17:22:09 +0000 (+0200) Subject: bpo-34921: Allow escaped NoReturn in get_type_hints (GH-9750) (GH-10772) X-Git-Tag: v3.7.2rc1~87 X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=f71a5922916abd6cc7bf7d99ed4715b6e96e5981;p=thirdparty%2FPython%2Fcpython.git bpo-34921: Allow escaped NoReturn in get_type_hints (GH-9750) (GH-10772) --- diff --git a/Lib/typing.py b/Lib/typing.py index 445a42492b6b..cfcbb3b76328 100644 --- a/Lib/typing.py +++ b/Lib/typing.py @@ -130,7 +130,7 @@ def _type_check(arg, msg, is_argument=True): if (isinstance(arg, _GenericAlias) and arg.__origin__ in invalid_generic_forms): raise TypeError(f"{arg} is not valid as type argument") - if (isinstance(arg, _SpecialForm) and arg is not Any or + if (isinstance(arg, _SpecialForm) and arg not in (Any, NoReturn) or arg in (Generic, _Protocol)): raise TypeError(f"Plain {arg} is not valid as type argument") if isinstance(arg, (type, TypeVar, ForwardRef)):