satisfies操作符 satisfies operator

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