用存在类型进行类型推断

用存在类型进行类型推断