`ConstraintSolver::unblock encountered a self-bound type!` on incomplete source code

```luau
type function application
type T = add<T, number>

type T = index<{x: T}, "x">
```

The above incomplete source code triggers `ConstraintSolver::unblock encountered a self-bound type!` error message during type checking.