Whether strict mode or not, setting an empty tuple to the generic type alias type argument of `ParamSpec` base gets no error

*Memo:

• pyright test.py
• pyright 1.1.407
• Python 3.14.0
• Windows 11

Whether strict mode or not, setting an empty tuple to the generic class and function type argument of ParamSpec base gets the errors, which is proper I think as shown below:

class Cls[**P]: ...

       # ↓↓
cls: Cls[()] # Error

error: Too few type arguments provided for "Cls"; expected 1 but received 0

def func[**P]() -> None: ...

      # ↓↓
v: func[()] # Error

error: Expected class but received "() -> None"

But whether strict mode or not, setting an empty tuple to the generic type alias type argument of ParamSpec base gets no error, which is improper I think as shown below:

from typing import Callable

type TA[**P] = Callable[P, None]

    # ↓↓
v: TA[()] # No error

Start by reproducing the report with test.py and pyright 1.1.407, comparing the diagnostics for Cls[()], func[()] and the ParamSpec-based alias TA[()]. Trace the generic type-alias handling involved in the last case. Done means TA[()] reports the invalid empty type argument consistently in strict and non-strict modes.