Remove redundant code for compatibility with older versions of typescript

In some previously supported but now unsupported versions of typescript, there would be some incorrect circular check, and in order to bypass the circular check, we have to add some non-essential code, for example:
```ts
type A<T> = 
 SomeToolType<T> extends infer B 
  ? B
  : never // Never happen
```

The above code can be simplified now:
```ts
type A<T> = SomeToolType<T>
```