Yeah that doc section you linked is incomplete. The PR that added it closed the relevant issue but didn't address all points, in particular the special case about plain names at class scope creating variables.

cc @TH3CHARLie

Btw the fix is simply to use:

class ABC:
    ABCInputType = List[Any]

Btw the fix is simply to use:

What causes List[Any] to work there but List to fail? Shouldn't those be identical? And is there any equivalent of this fix that works for the more generic case where I just want some alias?

And is there any equivalent of this fix that works for the more generic case where I just want some alias?

A trick that should work if you want to force type alias for plain name at class scope is use a single element union.

Yeah that doc section you linked is incomplete. The PR that added it closed the relevant issue but didn't address all points, in particular the special case about plain names at class scope creating variables.

cc @TH3CHARLie

Btw the fix is simply to use:

class ABC:
    ABCInputType = List[Any]

I did recall that when doing the docs PR we did mention about the alias should appear at top level but somehow I must have forgotten to include that in the final version. I'll file a PR to fix that.

The problem as stated in the issue above is solved now with PEP 613:

from typing import List, TypeAlias

class ABC:
    ABCInputType: TypeAlias = List

x: ABC.ABCInputType = []

-> no errors

However, this does not work in dataclasses (or any dataclass-like class), where you have to use ClassVar to exclude the variable from being used

from dataclasses import dataclass
from typing import ClassVar, List, TypeAlias

@dataclass
class ABC:
    ABCInputType: ClassVar[TypeAlias] = List

x: ABC.ABCInputType = []
reveal_type(x)  # Revealed type is "Any"

There's no error in mypy 0.942, but it thinks the type of x is Any.

The problem as stated in the issue above is solved now with PEP 613

Thanks! I'm closing this now since the original issue is now solved for most cases. Please feel free to open a new issue for the dataclasses- specific issue.