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