[Python-checkins] bpo-46480: rephrase typing.assert_type docs (GH-32069)

[JelleZijlstra]

https://github.com/python/cpython/commit/3354245daf89ca2c760c2c3e5b69a571f25073ed
commit: 3354245daf89ca2c760c2c3e5b69a571f25073ed
branch: main
author: Shantanu <12621235+hauntsaninja at users.noreply.github.com>
committer: JelleZijlstra <jelle.zijlstra at gmail.com>
date: 2022-03-23T19:15:06-07:00
summary:

bpo-46480: rephrase typing.assert_type docs (GH-32069)

The goal here is to reduce potential confusion between
`assert_type(val, type)` and `assert isinstance(val, typ)`.

The former is meant to ask a type checker to confirm a fact, the latter
is meant to tell a type checker a fact. The behaviour of the latter more
closely resembles what I'd expect from the prior phrasing of
"assert [something] to the type checker".

files:
M Doc/library/typing.rst
M Lib/typing.py

diff --git a/Doc/library/typing.rst b/Doc/library/typing.rst
index 57979cbb08e69..4d833dc497f17 100644
--- a/Doc/library/typing.rst
+++ b/Doc/library/typing.rst
@@ -2150,7 +2150,7 @@ Functions and decorators
 
 .. function:: assert_type(val, typ, /)
 
-   Assert (to the type checker) that *val* has an inferred type of *typ*.
+   Ask a static type checker to confirm that *val* has an inferred type of *typ*.
 
    When the type checker encounters a call to ``assert_type()``, it
    emits an error if the value is not of the specified type::
diff --git a/Lib/typing.py b/Lib/typing.py
index f0e84900d7f80..64b348e0b9d5c 100644
--- a/Lib/typing.py
+++ b/Lib/typing.py
@@ -2085,7 +2085,7 @@ def cast(typ, val):
 
 
 def assert_type(val, typ, /):
-    """Assert (to the type checker) that the value is of the given type.
+    """Ask a static type checker to confirm that the value is of the given type.
 
     When the type checker encounters a call to assert_type(), it
     emits an error if the value is not of the specified type::