type arguments of type aliases aren't checked against their definitions, only the underlying type

[KotlinIsland]

class A[T: (int, str)]: ...

type BoolA[T: bool] = A[T]
BoolA[str]
BoolA[bool]

type B[T: str] = object
type C[T: int] = B[T]  # error

C[str]
B[int]

[DetachHead]

looks like this only happens when enableExperimentalFeatures is disabled and the type alias is used as a value instead of an annotation.

Code sample in basedpyright playground

class A[T: (int, str)]: ...

type BoolA[T: bool] = A[T] # no error (false negative), didn't we already have a separate issue for this?
BoolA[str] # no error (false negative)
BoolA[bool] # no error (correct)

type B[T: str] = object
type C[T: int] = B[T]  # error (correct)

C[str] # no error (false negative)
B[int] # no error (false negative)

foo: C[str] # error (correct)
bar: B[int] # error (correct)