타입스크립트 4.9 버전에 satisfies 연산자가 추가되었습니다. 타입 추론을 그대로 활용하면서 추가로 타입 검사를 하고 싶을 때 사용합니다.

다음 코드를 봅시다. 객체의 타입을 선언 및 검사하려는 상황입니다. 하나의 속성에는 일부러 sirius 대신 sriius로 오타를 냈습니다.

const universe = {
  sun: "star",
  sriius: "star", // sirius 오타
  earth: { type: "planet", parent: "sun" },
};

속성 키의 타입은 'sun | 'sirius' | 'earth'이고 속성 값의 타입은 { type: string, parent: string } 또는 string 타입이니까 { type: string, parent: string } | string입니다.