TypeScript:type-check
type-check