pub fn type_binary_op( op: BinaryOperator, lhs: &Type, rhs: &Type, ) -> Result<Type, Error>
Compute the return type of a binary operator expression.