fix: eq_op FP on literal of different form

Author: profetia

clippy_lints/src/operators/eq_op.rs

@@ -2,11 +2,34 @@ use clippy_utils::ast_utils::is_useless_with_eq_exprs;
 use clippy_utils::diagnostics::{span_lint, span_lint_and_then};
 use clippy_utils::macros::{find_assert_eq_args, first_node_macro_backtrace};
 use clippy_utils::{eq_expr_value, is_in_test_function, sym};
-use rustc_hir::{BinOpKind, Expr};
+use rustc_ast::LitKind;
+use rustc_hir::{BinOpKind, Expr, ExprKind};
 use rustc_lint::LateContext;
 
 use super::EQ_OP;
 
+fn is_literal_different(l: &Expr<'_>, r: &Expr<'_>) -> bool {
+    if let (ExprKind::Lit(l), ExprKind::Lit(r)) = (l.kind, r.kind) {
+        return match (l.node, r.node) {
+            (LitKind::Str(l_symbol, l_style), LitKind::Str(r_symbol, r_style)) => {
+                l_style != r_style || l_symbol != r_symbol
+            },
+            (LitKind::ByteStr(l_symbol, l_style), LitKind::ByteStr(r_symbol, r_style))
+            | (LitKind::CStr(l_symbol, l_style), LitKind::CStr(r_symbol, r_style)) => {
+                l_style != r_style || l_symbol != r_symbol
+            },
+            (LitKind::Int(_, l_style), LitKind::Int(_, r_style)) => l_style != r_style,
+            (LitKind::Float(_, l_style), LitKind::Float(_, r_style)) => l_style != r_style,
+            (LitKind::Byte(_), LitKind::Byte(_))
+            | (LitKind::Char(_), LitKind::Char(_))
+            | (LitKind::Bool(_), LitKind::Bool(_)) => false,
+            _ => true,
+        };
+    }
+
+    false
+}
+
 pub(crate) fn check_assert<'tcx>(cx: &LateContext<'tcx>, e: &'tcx Expr<'_>) {
     if let Some(macro_call) = first_node_macro_backtrace(cx, e).find(|macro_call| {
         matches!(
@@ -17,6 +40,7 @@ pub(crate) fn check_assert<'tcx>(cx: &LateContext<'tcx>, e: &'tcx Expr<'_>) {
         && eq_expr_value(cx, lhs, rhs)
         && macro_call.is_local()
         && !is_in_test_function(cx.tcx, e.hir_id)
+        && !is_literal_different(lhs, rhs)
     {
         span_lint(
             cx,
@@ -37,7 +61,11 @@ pub(crate) fn check<'tcx>(
     left: &'tcx Expr<'_>,
     right: &'tcx Expr<'_>,
 ) {
-    if is_useless_with_eq_exprs(op) && eq_expr_value(cx, left, right) && !is_in_test_function(cx.tcx, e.hir_id) {
+    if is_useless_with_eq_exprs(op)
+        && eq_expr_value(cx, left, right)
+        && !is_in_test_function(cx.tcx, e.hir_id)
+        && !is_literal_different(left, right)
+    {
         span_lint_and_then(
             cx,
             EQ_OP,

tests/ui/eq_op.rs

@@ -154,3 +154,8 @@ fn eq_op_macros_shouldnt_trigger_in_tests() {
     assert_eq!(a, a);
     assert_eq!(a + b, b + a);
 }
+
+fn issue15609() {
+    const _: () = assert!(0x20 == b' ');
+    assert_eq!(0x20, b' ');
+}