TypeScript satisfies 키워드 제대로 이해하기

타입 계약은 검증하면서도 값의 실제 타입을 잃지 않는 방법