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
 :ref:`Type parameters <type-params>` can exist on classes, functions, and type
 aliases.

 .. class:: TypeVar(name, bound)
 .. class:: TypeVar(name, bound, default_value)

   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.
   it represents constraints; otherwise it represents the bound. ``default_value``
   is the default value, if any.

   .. doctest::

        >>> print(ast.dump(ast.parse("type Alias[T: int] = list[T]"), indent=4))
        >>> print(ast.dump(ast.parse("type Alias[T: int = bool] = list[T]"), indent=4))
        Module(
            body=[
                TypeAlias(
                    name=Name(id='Alias', ctx=Store()),
                    type_params=[
                        TypeVar(
                            name='T',
                            bound=Name(id='int', ctx=Load()))],
                            bound=Name(id='int', ctx=Load()),
                            default_value=Name(id='bool', ctx=Load()))],
                    value=Subscript(
                        value=Name(id='list', ctx=Load()),
                        slice=Name(id='T', ctx=Load()),

   .. versionadded:: 3.12

 .. class:: ParamSpec(name)
   .. versionchanged:: 3.13
      Added ``default_value``.

 .. 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.

   .. doctest::

        >>> print(ast.dump(ast.parse("type Alias[**P] = Callable[P, int]"), indent=4))
        >>> print(ast.dump(ast.parse("type Alias[**P = (int, str)] = Callable[P, int]"), indent=4))
        Module(
            body=[
                TypeAlias(
                    name=Name(id='Alias', ctx=Store()),
                    type_params=[
                        ParamSpec(name='P')],
                        ParamSpec(name='P',
                                  default_value=Tuple(
                                      elts=[
                                          Name(id='int', ctx=Load()),
                                          Name(id='str', ctx=Load())],
                                      ctx=Load()))],
                    value=Subscript(
                        value=Name(id='Callable', ctx=Load()),
                        slice=Tuple(

   .. versionadded:: 3.12

   .. versionchanged:: 3.13
      Added ``default_value``.

 .. class:: TypeVarTuple(name)

   A :class:`typing.TypeVarTuple`. ``name`` is the name of the type variable tuple.
   ``default_value`` is the default value, if any.

   .. doctest::

        >>> print(ast.dump(ast.parse("type Alias[*Ts] = tuple[*Ts]"), indent=4))
        >>> print(ast.dump(ast.parse("type Alias[*Ts = ()] = tuple[*Ts]"), indent=4))
        Module(
            body=[
                TypeAlias(
                    name=Name(id='Alias', ctx=Store()),
                    type_params=[
                        TypeVarTuple(name='Ts')],
                        TypeVarTuple(name='Ts',
                                     default_value=Tuple(elts=[], ctx=Load()))],
                    value=Subscript(
                        value=Name(id='tuple', ctx=Load()),
                        slice=Tuple(

   .. versionadded:: 3.12

   .. versionchanged:: 3.13
      Added ``default_value``.

 Function and class definitions
 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Original file line number	Diff line number	Diff line change
Expand Up		@@ -1798,23 +1798,25 @@ Type parameters
		:ref:`Type parameters <type-params>` can exist on classes, functions, and type
		aliases.

		.. class:: TypeVar(name, bound)
		.. class:: TypeVar(name, bound, default_value)

		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.
		it represents constraints; otherwise it represents the bound. ``default_value``
		is the default value, if any.
JelleZijlstra marked this conversation as resolved. OutdatedShow resolvedHide resolved

		.. doctest::

		>>> print(ast.dump(ast.parse("type Alias[T: int] = list[T]"), indent=4))
		>>> print(ast.dump(ast.parse("type Alias[T: int = bool] = list[T]"), indent=4))
		Module(
		body=[
		TypeAlias(
		name=Name(id='Alias', ctx=Store()),
		type_params=[
		TypeVar(
		name='T',
		bound=Name(id='int', ctx=Load()))],
		bound=Name(id='int', ctx=Load()),
		default_value=Name(id='bool', ctx=Load()))],
		value=Subscript(
		value=Name(id='list', ctx=Load()),
		slice=Name(id='T', ctx=Load()),
Expand All		@@ -1823,19 +1825,28 @@ aliases.

		.. versionadded:: 3.12

		.. class:: ParamSpec(name)
		.. versionchanged:: 3.13
		Added ``default_value``.
JelleZijlstra marked this conversation as resolved. OutdatedShow resolvedHide resolved

		.. 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.

		.. doctest::

		>>> print(ast.dump(ast.parse("type Alias[**P] = Callable[P, int]"), indent=4))
		>>> print(ast.dump(ast.parse("type Alias[**P = (int, str)] = Callable[P, int]"), indent=4))
		Module(
		body=[
		TypeAlias(
		name=Name(id='Alias', ctx=Store()),
		type_params=[
		ParamSpec(name='P')],
		ParamSpec(name='P',
		default_value=Tuple(
		elts=[
		Name(id='int', ctx=Load()),
		Name(id='str', ctx=Load())],
		ctx=Load()))],
		value=Subscript(
		value=Name(id='Callable', ctx=Load()),
		slice=Tuple(
Expand All		@@ -1848,19 +1859,24 @@ aliases.

		.. versionadded:: 3.12

		.. versionchanged:: 3.13
		Added ``default_value``.
JelleZijlstra marked this conversation as resolved. OutdatedShow resolvedHide resolved

		.. class:: TypeVarTuple(name)

		A :class:`typing.TypeVarTuple`. ``name`` is the name of the type variable tuple.
		``default_value`` is the default value, if any.
JelleZijlstra marked this conversation as resolved. OutdatedShow resolvedHide resolved

		.. doctest::

		>>> print(ast.dump(ast.parse("type Alias[Ts] = tuple[Ts]"), indent=4))
		>>> print(ast.dump(ast.parse("type Alias[Ts = ()] = tuple[Ts]"), indent=4))
		Module(
		body=[
		TypeAlias(
		name=Name(id='Alias', ctx=Store()),
		type_params=[
		TypeVarTuple(name='Ts')],
		TypeVarTuple(name='Ts',
		default_value=Tuple(elts=[], ctx=Load()))],
		value=Subscript(
		value=Name(id='tuple', ctx=Load()),
		slice=Tuple(
Expand All		@@ -1874,6 +1890,9 @@ aliases.

		.. versionadded:: 3.12

		.. versionchanged:: 3.13
		Added ``default_value``.
JelleZijlstra marked this conversation as resolved. OutdatedShow resolvedHide resolved

		Function and class definitions
		^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

Expand Down