TypeScript: Satisfies operator