ts类型推论