[TS] TypeScript 타입스크립트 satisfies 연산자