如何手动推断表达式的类型

如何手动推断表达式的类型