pub fn binop_right_homogeneous(op: BinOp) -> bool
Classify whether an operator is “right-homogeneous”, i.e., the RHS has the same type as the LHS.