함수가 리턴값을 보내지 않을 때 그 함수의 리턴타입은 never 이다. 무한루프를 돌거나 Throwing Error 가 있을 경우등이 있다.. 그리고 Union 타입에서 타입체킹이 모두 걸러진 변수는 never 타입이다. children props를 안 쓸때 never 타입으로 지정하기도 한다.
해당 타입을 가진 객체는 아무것도 할 수가 없다. 객체 사용에 주의를 기울일 필요가 있을때 이 타입을 사용하면 된다.
컴파일러에게 해당 타입임을 '단언'하는 것.
뒤에는 꼭 object의 타입이 와야한다. 따라서 오브젝트 인스턴스라면 typeof로 타입을 뽑아와야한다. 아래예제 두고두고 이해해보자.
type test = keyof typeof STATUS
type Status = typeof STATUS[keyof typeof STATUS]