generic type alias contains `Any`

```py
from typing import TypeAlias, TypeVar

T = TypeVar('T', bound=bool)
ListBool: TypeAlias = list[T] # expression contains Any (has type "type[list[Any]]")
```

Reproduce the reported diagnostic with the provided Python snippet and inspect the type-alias handling path in basedmypy. The issue names no source files or tests, so first locate the relevant implementation and existing regression tests; done means the alias no longer reports an Any type while preserving the bound TypeVar behavior.

Written by the indexing model from the issue text.