TypeScript satisfies 怎么同时保证类型推导和类型校验?(4.9+) - 奇技淫巧 - 墨渊书肆