Contextual typing

Type inference that uses the expected type at an expression’s location to type that expression and its parameters.

Also known as contextual type