7.1.2 推理类型