pub fn promote_numeric_types(lhs: &Ty, rhs: &Ty) -> Option<Ty>
Return promoted numeric type for mixed arithmetic operands.