7.3.1 常规类型推断