typescript의 never타입

// 에러를 던지기 때문에 함수가 절대 어떤값도 리턴하지 않는다.
function error(message: string): never {
    throw new Error(message);
}

// 위 error함수의 리턴값으로 추론된 타입은 never이다.
function fail() {
    return error("Something failed");
}

// never는 함수에서 그 어떤값도 리턴되지 않을것임을 명시한다.
function infiniteLoop(): never {
    while (true) {
    }
}

never 타입 변수에는 그 어떤값도 할당이 불가능하다.

// never형 변수 neverVar에는 null도 할당할 수 없다.
let neverVar: never = null;