上下文类型推断 Contextual typing

利用表达式所在位置的预期类型，推导该表达式及其参数类型的过程。

别名 contextual type