Assigning ... to a type statement shadows SyntaxError, is this intended?

[Daraan]

I played around a bit and came accross the following case where for the Y declaration the expected warning for the SyntaxError does not show up, is this intended?

Code sample in pyright playground

type X[T=int, T2] = None  # Wrong order, shows expected error
type Y[T=int, T2] = ...  # no error

[erictraut]

Pyright should be emitting an error here because ... is an invalid type expression. It's internally detecting this error condition (without reporting it) and then skipping additional checks for the remainder of the type expression, which is why you don't see the other error that you expected.

This will be addressed in the next release.