satisfies 操作符 satisfies operator

检查表达式能否赋给目标类型，同时保留其上下文推断结果类型的 TypeScript 操作符。