mypy should error about missing type vars in explicit type aliases

Bug Report

Explicit type aliases don't allow no-args for generics, but don't error about it either.

To Reproduce

from typing import Generic, TypeVar
from typing_extensions import TypeAlias

T = TypeVar("T")
class Y(Generic[T]): ...

Alias2a = Y
reveal_type(Alias2a)  # N: Revealed type is "def [T] () -> __main__.Y[T`1]"

Alias2b: TypeAlias = Y
reveal_type(Alias2b)  # N: Revealed type is "def () -> __main__.Y[Any]"

Expected Behavior

An error when defining Alias2b.

Actual Behavior

No error when defining Alias2b.

Your Environment

Checked on mypy playground.

• Mypy version used: v1.14
• Mypy command-line flags: --disallow-any-generics
• Mypy configuration options from mypy.ini (and other config files): N/A
• Python version used: 3.12

Esegui la riproduzione fornita in Python 3.12 con --disallow-any-generics e confronta i risultati di reveal_type per Alias2a e Alias2b. Il lavoro è completato quando la definizione di Alias2b come alias di tipo generico esplicito segnala un errore per variabili di tipo mancanti, mentre il comportamento segnalato di Alias2a rimane compreso.