René's URL Explorer Experiment

Title: A `NoReturn` type is needed · Issue #165 · python/typing · GitHub

Open Graph Title: A `NoReturn` type is needed · Issue #165 · python/typing

X Title: A `NoReturn` type is needed · Issue #165 · python/typing

Description: In order to perform branch analysis, it is necessary to know which calls will never return normally. Examples are sys.exit (which always returns via exception) and os.exit (which never returns). NoReturn should drop out of Union and domi...

Open Graph Description: In order to perform branch analysis, it is necessary to know which calls will never return normally. Examples are sys.exit (which always returns via exception) and os.exit (which never returns). No...

X Description: In order to perform branch analysis, it is necessary to know which calls will never return normally. Examples are sys.exit (which always returns via exception) and os.exit (which never returns). No...

Opengraph URL: https://github.com/python/typing/issues/165

X: @github

direct link

Domain: github.com

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"A `NoReturn` type is needed","articleBody":"In order to perform branch analysis, it is necessary to know which calls will never return normally. Examples are `sys.exit` (which always returns via exception) and `os.exit` (which never returns).\n\n`NoReturn` should drop out of `Union` and dominate `Intersection`.\n\nTo manually mark a branch as dead, use `cast(NoReturn, expression)` in an expression context, or `raise` in statement context.\n\nThis can also be used as the return type of `__init__` or `__new__` or the metaclass's `__call__` to indicate types that can't be normally instantiated.\n","author":{"url":"https://github.com/o11c","@type":"Person","name":"o11c"},"datePublished":"2015-10-27T23:02:52.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":27},"url":"https://github.com/165/typing/issues/165"}

Links:

Viewport: width=device-width