Pyright hangs when a generic type alias definition refers to itself via typevar bound

**Code or Screenshots**
```python
type Foo[T: Foo] = T

def func[T](x: Foo[T]) -> T: ...
```

Start by running the provided Python snippet in Pyright and confirming that analysis hangs on the self-referential generic type alias. Trace the type-alias and type-variable-bound handling to identify the loop, then add a regression test showing that this input completes without hanging.

Written by the indexing model from the issue text.