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")

Inizia con il riproduttore test.py ed eseguilo con mypy --strict usando le versioni indicate, mypy 1.19.0 e Python 3.14.0. Traccia il modo in cui la nuova sintassi delle funzioni generiche gestisce T nell’espressione predefinita passata a cast(). Il lavoro è completato quando l’esempio accetta il valore predefinito basato su cast mantenendo il comportamento esistente dei tipi del parametro e del valore restituito.