I don't have any preference between x: TypeAlias = int and x = TypeAlias[int]. I like the general idea of allowing the explicit form in parallel to the existing implicit syntax. The problem that currently exists is that there are few corner cases where mypy decides between a variable of type Type[C] and an alias to C (moreover the rules are still undocumented, see https://github.com/python/mypy/issues/3494). For example:

class C: ...

x = C  # this is a type alias from mypy point of view

class D:

    x = C  # this is a variable with type Type[C]

This default behaviour is kind of a heuristics that matches most typical use in each case, but I think it would be nice to have a simple way to be explicit either way:

x: TypeAlias = C

y: Type[C] = C

--

Ivan