When assigning to a variable infer from the variable the expected type of the expression.