[3.13] gh-123242: Note that type.__annotations__ may not exist (GH-124557) (#124569)

Closes GH-123242. The real criterion is that the attribute does not
exist on heap types, but I don't think we should discuss heap vs.
static types in the language reference.
(cherry picked from commit 99b23c64de301c9e77add6b0d8e60118ef807840)

diff --git a/Doc/reference/datamodel.rst b/Doc/reference/datamodel.rst
index 45c4852da03f446f86136b82398b40fab5f56f2b..bd90e37ea27cf693b7bd1e353d0c33abbaf9087e 100644 (file)
--- a/Doc/reference/datamodel.rst
+++ b/Doc/reference/datamodel.rst
@@ -1011,6 +1011,14 @@ Special attributes
        collected during class body execution. For best practices on working
        with :attr:`!__annotations__`, please see :ref:`annotations-howto`.
 
+       .. caution::
+
+          Accessing the :attr:`!__annotations__` attribute of a class
+          object directly may yield incorrect results in the presence of
+          metaclasses. In addition, the attribute may not exist for
+          some classes. Use :func:`inspect.get_annotations` to
+          retrieve class annotations safely.
+
    * - .. attribute:: type.__type_params__
      - A :class:`tuple` containing the :ref:`type parameters <type-params>` of
        a :ref:`generic class <generic-classes>`.