mirror of https://github.com/python/cpython
Rephrase typing.assert_never docs (#92061)
This change is similar to that in #32069
This commit is contained in:
parent
d0064a1e72
commit
2f7952c35b
|
@ -2337,7 +2337,7 @@ Functions and decorators
|
||||||
|
|
||||||
.. function:: assert_never(arg, /)
|
.. function:: assert_never(arg, /)
|
||||||
|
|
||||||
Assert to the type checker that a line of code is unreachable.
|
Ask a static type checker to confirm that a line of code is unreachable.
|
||||||
|
|
||||||
Example::
|
Example::
|
||||||
|
|
||||||
|
@ -2358,7 +2358,7 @@ Functions and decorators
|
||||||
reachable, it will emit an error. For example, if the type annotation
|
reachable, it will emit an error. For example, if the type annotation
|
||||||
for ``arg`` was instead ``int | str | float``, the type checker would
|
for ``arg`` was instead ``int | str | float``, the type checker would
|
||||||
emit an error pointing out that ``unreachable`` is of type :class:`float`.
|
emit an error pointing out that ``unreachable`` is of type :class:`float`.
|
||||||
For a call to ``assert_never`` to succeed, the inferred type of
|
For a call to ``assert_never`` to pass type checking, the inferred type of
|
||||||
the argument passed in must be the bottom type, :data:`Never`, and nothing
|
the argument passed in must be the bottom type, :data:`Never`, and nothing
|
||||||
else.
|
else.
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue