(🎁) No warning about `TypeAlias` to bare `TypeVar` when using `TypeAlias`

from typing import TypeVar, TypeAlias

T = TypeVar("T")
TAlias: TypeAlias = T

def foo(
    t1: TAlias[int],  # no error
    t2: TAlias,  # error: Missing type parameters for generic type "TAlias"
) -> None: ...

Treating it as a generic type and not as TypeVar is incorrect as at runtime it is not subscriptable:

Traceback (most recent call last):
  File "test.py", line 7, in <module>
    t1: TAlias[int],  # no error
TypeError: 'TypeVar' object is not subscriptable

playground

Strangely, the correct error is reported when the TypeAlias is omitted.

from typing import TypeVar, TypeAlias

T = TypeVar("T")
TAlias = T  # error: Type variable "__main__.T" is invalid as target for type alias  [misc]

Beginne mit der bereitgestellten test.py-Reproduktion und vergleiche sie mit der Playground-Konfiguration unter Verwendung von mypy master, Python 3.10 und strict flags. Verfolge, warum die TypeAlias-Form TAlias[int] akzeptiert, während der direkte Alias ein ungültiges TypeVar-Ziel meldet; abgeschlossen ist die Untersuchung, wenn die Alias-Form eine geeignete Diagnose ausgibt und die ungültige Verwendung mit Subscript nicht akzeptiert.