May 3, 2024 · Feb 29, 2024 · Feb 29, 2024 · Feb 29, 2024 · Feb 29, 2024 · Mar 1, 2024
diff --git a/Doc/library/ast.rst b/Doc/library/ast.rst
   A :class:`typing.TypeVar`. *name* is the name of the type variable.
   *bound* is the bound or constraints, if any. If *bound* is a :class:`Tuple`,
   it represents constraints; otherwise it represents the bound. *default_value*
   is the default value, if any.
   is the default value; if the :class:`!TypeVar` has no default, this
   attribute will be set to ``None``.

   .. doctest::

 .. class:: ParamSpec(name, default_value)

   A :class:`typing.ParamSpec`. *name* is the name of the parameter specification.
   *default_value* is the default value, if any.
   *default_value* is the default value; if the :class:`!ParamSpec` has no default,
   this attribute will be set to ``None``.

   .. doctest::

 .. class:: TypeVarTuple(name, default_value)

   A :class:`typing.TypeVarTuple`. *name* is the name of the type variable tuple.
   *default_value* is the default value, if any.
   *default_value* is the default value; if the :class:`!TypeVarTuple` has no
   default, this attribute will be set to ``None``.

   .. doctest::

diff --git a/Doc/library/typing.rst b/Doc/library/typing.rst

 .. data:: NoDefault

   A sentinel object used to represent the default value of certain parameters
   used in this module.
   A sentinel object used to indicate that a type parameter has no default
   value. For example:

   .. doctest::

      >>> T = TypeVar("T")
      >>> T.__default__ is typing.NoDefault
      True
      >>> S = TypeVar("S", default=None)
      >>> S.__default__ is None
      True

   .. versionadded:: 3.13

diff --git a/Doc/reference/compound_stmts.rst b/Doc/reference/compound_stmts.rst
 constraints of type variables, the default value is not evaluated when the
 object is created, but only when the type parameter's ``__default__`` attribute
 is accessed. To this end, the default value is evaluated in a separate
 :ref:`annotation scope <annotation-scopes>`.
 :ref:`annotation scope <annotation-scopes>`. If no default value is specified
 for a type parameter, the ``__default__`` attribute is set to the special
 sentinel object :data:`typing.NoDefault`.

 The following example indicates the full set of allowed type parameter declarations::
Original file line number	Diff line number	Diff line change
Expand Up		@@ -1753,7 +1753,8 @@ aliases.
		A :class:`typing.TypeVar`. name is the name of the type variable.
		bound is the bound or constraints, if any. If bound is a :class:`Tuple`,
		it represents constraints; otherwise it represents the bound. default_value
		is the default value, if any.
		is the default value; if the :class:`!TypeVar` has no default, this
		attribute will be set to ``None``.

		.. doctest::

Expand All		@@ -1780,7 +1781,8 @@ aliases.
		.. class:: ParamSpec(name, default_value)

		A :class:`typing.ParamSpec`. name is the name of the parameter specification.
		default_value is the default value, if any.
		default_value is the default value; if the :class:`!ParamSpec` has no default,
		this attribute will be set to ``None``.

		.. doctest::

Expand DownExpand Up		@@ -1814,7 +1816,8 @@ aliases.
		.. class:: TypeVarTuple(name, default_value)

		A :class:`typing.TypeVarTuple`. name is the name of the type variable tuple.
		default_value is the default value, if any.
		default_value is the default value; if the :class:`!TypeVarTuple` has no
		default, this attribute will be set to ``None``.

		.. doctest::

Expand Down
Original file line number	Diff line number	Diff line change
Expand Up		@@ -1703,7 +1703,9 @@ a single equals sign (``=``) followed by an expression. Like the bounds and
		constraints of type variables, the default value is not evaluated when the
		object is created, but only when the type parameter's ``__default__`` attribute
		is accessed. To this end, the default value is evaluated in a separate
		:ref:`annotation scope <annotation-scopes>`.
		:ref:`annotation scope <annotation-scopes>`. If no default value is specified
		for a type parameter, the ``__default__`` attribute is set to the special
		sentinel object :data:`typing.NoDefault`.

		The following example indicates the full set of allowed type parameter declarations::

Expand Down