With a new syntax generic function, `T` cannot be used to set a default value to a parameter with `cast()` while `T` can be used for a parameter and return type

*Memo:
mypy --strict test.py
mypy 1.19.0
Python 3.14.0
Windows 11

With a new syntax generic function, T cannot be used to set a default value to a parameter with cast() while T can be used for a parameter and return type as shown below:

from typing import cast

                      # ↓ Error
def func[T](x: T = cast(T, 100)) -> T:
    return x # ↑ No error         # ↑ No error

error: Name "T" is not defined

If I don't use T with cast(), other error occurs as shown below:

                 # ↓↓↓ Error
def func[T](x: T = 100) -> T:
    return x

error: Incompatible default for argument "x" (default has type "int", argument has type "T")

Comienza con el reproductor test.py y ejecútalo con mypy --strict usando las versiones indicadas mypy 1.19.0 y Python 3.14.0. Rastrea cómo la nueva sintaxis de función genérica gestiona T en la expresión predeterminada pasada a cast(). Se considera terminado cuando el ejemplo acepta el valor predeterminado basado en cast y conserva el comportamiento existente de los tipos de parámetro y de retorno.