TS infer keyword


### Generic 아닌 추론 Type parameter 선언
**새로운 type 선언임**
조건부 타입에서 infer 키워드의 역할은 infer 다음에 오는 타입이 진짜 존재하는 타입인지 확인해서 정확한 타입 추론이 이뤄지게


### Too deep
```typetype TrimLeft<T extends string> =    T extends ` ${infer Rest}` ? TrimLeft<Rest> : T;// type Test = "hello" | "world"type Test = TrimLeft<"   hello" | " world">;```
### fix to non deep
```type```




> [typescript의 unknown과 never 타입](https://simsimjae.tistory.com/463)

> [Why is the infer keyword needed in Typescript?](https://stackoverflow.com/questions/60067100/why-is-the-infer-keyword-needed-in-typescript)





