타입스크립트에서는 좁은 타입을 넓은 타입에 대입할 수 있습니다. 반대로 넓은 타입은 좁은 타입에 대입할 수 없지요. never는 unknown에 대입할 수 있지만, unknown은 never에 대입할 수 없는 것입니다.

항상 좁은 타입에서 넓은 타입으로 대입해야 한다.

unknown은 가장 넓은 타입이므로 모든 타입을 unknown에 대입할 수 있고, unknown은 다른 타입에 대입할 수 없습니다(any와 unknown 제외). never는 가장 좁은 타입이므로 어떠한 타입도 never에 대입할 수 없고, 모든 타입에 never를 대입할 수 있습니다. 대입 관계가 헷갈릿다면 2.7.6절의 표를 다시 참고하세요.

any 타입은 집합 관계를 무시하므로 any와는 &, | 연산을 하지 않는 것이 좋습니다. 일관성이 없어서 값을 예측하기 쉽지 않습니다. any 타입을 쓰지 말아야 할 이유이기도 합니다.

타입스크립트의 &, | 연산자도 집합의 교집합, 합집합과 성질이 비슷합니다.