Understanding the TypeScript satisfies Operator