From: Shantanu <12621235+hauntsaninja@users.noreply.github.com>
Date: Sat, 30 Apr 2022 03:13:21 +0000 (-0600)
Subject: Rephrase typing.assert_never docs (#92061)
X-Git-Tag: v3.11.0b1~177
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=2f7952c35b8fb2487cb9749081d2c0c604d41107;p=thirdparty%2FPython%2Fcpython.git

Rephrase typing.assert_never docs (#92061)

This change is similar to that in #32069
---

diff --git a/Doc/library/typing.rst b/Doc/library/typing.rst
index 0f31b90b7610..426cbf12b8c9 100644
--- a/Doc/library/typing.rst
+++ b/Doc/library/typing.rst
@@ -2337,7 +2337,7 @@ Functions and decorators
 
 .. 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::
 
@@ -2358,7 +2358,7 @@ Functions and decorators
    reachable, it will emit an error. For example, if the type annotation
    for ``arg`` was instead ``int | str | float``, the type checker would
    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
    else.