Lines Matching full:never

7 Sometimes it is necessary to write code that should never execute, and
13 - ``Never``, the primitive type used for unreachable code
18 ``Never`` and ``NoReturn``
24 the return type of a function that never returns, or the argument type
25 of a function that may never be called. You can also think of the
29 While it was originally meant only for functions that never return,
34 typing-extensions 4.1 add a new primitive, ``Never``. To type checkers,
37 In this guide, we'll use ``Never`` for the bottom type, but if you cannot
43 The ``Never`` type can be leveraged to perform static exhaustiveness checking,
49 function with a parameter typed as ``Never``. The type checker will allow
57    from typing_extensions import Never
59    def assert_never(arg: Never) -> Never:
122 will never reach the ``assert False`` statement. However, there is
140 an exception or call a function that returns ``Never``.