gh-85668: Add typing.evaluate_type() function

Author: Viicos

Doc/library/typing.rst

@@ -3727,6 +3727,24 @@ Introspection helpers
 
    .. versionadded:: 3.14
 
+.. function:: evaluate_type(type_hint, *, owner=None, globals=None, locals=None, type_params=None, format=annotationlib.Format.VALUE)
+
+   Evaluate a :term:`type hint`, by resolving any forward references nested
+   within the type hint.
+
+   This is similar to calling :func:`evaluate_forward_ref`, but unlike that
+   method, :func:`evaluate_type` also supports arbitrary type hints.
+
+   See the documentation for :meth:`annotationlib.ForwardRef.evaluate` for
+   the meaning of the *owner*, *globals*, *locals*, *type_params*, and *format* parameters.
+
+   .. caution::
+
+      This function may execute arbitrary code contained the type hint.
+      See :ref:`annotationlib-security` for more information.
+
+   .. versionadded:: next
+
 .. data:: NoDefault
 
    A sentinel object used to indicate that a type parameter has no default

Lib/typing.py

@@ -1051,6 +1051,24 @@ def evaluate_forward_ref(
     )
 
 
+def evaluate_type(
+    type_hint,
+    *,
+    owner=None,
+    globalns=None,
+    localns=None,
+    type_params=None,
+    format=annotationlib.Format.VALUE,
+):
+    """Evaluate a type hint, by resolving any forward references.
+
+    This is similar to the evaluate_forward_ref() method, but unlike that method,
+    evaluate_type() also supports arbitrary type hints.
+    """
+
+    return _eval_type(type_hint, owner=owner, globalns=globalns, localns=localns, type_params=type_params, format=format)
+
+
 def _is_unpacked_typevartuple(x: Any) -> bool:
     # Need to check 'is True' here
     # See: https://github.com/python/cpython/issues/137706

Misc/NEWS.d/next/Library/2026-05-24-21-20-19.gh-issue-85668.KwCVdi.rst

@@ -0,0 +1 @@
+Add :func:`typing.evaluate_type` function.