use cfg attribute instead of if cfg!

Author: Kivooeo

library/core/src/macros/mod.rs

@@ -291,9 +291,8 @@ pub macro cfg_select($($tt:tt)*) {
 #[allow_internal_unstable(edition_panic)]
 macro_rules! debug_assert {
     ($($arg:tt)*) => {
-        if $crate::cfg!(debug_assertions) {
-            $crate::assert!($($arg)*);
-        }
+        #[cfg(debug_assertions)]
+        $crate::assert!($($arg)*);
     };
 }
 
@@ -321,9 +320,8 @@ macro_rules! debug_assert {
 #[rustc_diagnostic_item = "debug_assert_eq_macro"]
 macro_rules! debug_assert_eq {
     ($($arg:tt)*) => {
-        if $crate::cfg!(debug_assertions) {
-            $crate::assert_eq!($($arg)*);
-        }
+        #[cfg(debug_assertions)]
+        $crate::assert_eq!($($arg)*);
     };
 }
 
@@ -351,9 +349,8 @@ macro_rules! debug_assert_eq {
 #[rustc_diagnostic_item = "debug_assert_ne_macro"]
 macro_rules! debug_assert_ne {
     ($($arg:tt)*) => {
-        if $crate::cfg!(debug_assertions) {
-            $crate::assert_ne!($($arg)*);
-        }
+        #[cfg(debug_assertions)]
+        $crate::assert_ne!($($arg)*);
     };
 }
 
@@ -403,9 +400,8 @@ macro_rules! debug_assert_ne {
 #[allow_internal_unstable(assert_matches)]
 #[rustc_macro_transparency = "semitransparent"]
 pub macro debug_assert_matches($($arg:tt)*) {
-    if $crate::cfg!(debug_assertions) {
-        $crate::assert_matches::assert_matches!($($arg)*);
-    }
+    #[cfg(debug_assertions)]
+    $crate::assert_matches::assert_matches!($($arg)*);
 }
 
 /// Returns whether the given expression matches the provided pattern.

tests/ui/macros/debug-assertation-debug-check.rs

@@ -0,0 +1,13 @@
+//@ compile-flags: -C opt-level=3
+//@ check-pass
+
+fn main() {
+    let one = Thing;
+    let two = Thing;
+
+    debug_assert_eq!(one, two);
+}
+
+#[derive(Debug)]
+#[cfg_attr(debug_assertions, derive(PartialEq))]
+struct Thing;

tests/ui/macros/debug-assertation-release-check.rs

@@ -0,0 +1,13 @@
+//@ compile-flags: -C opt-level=0
+//@ check-pass
+
+fn main() {
+    let one = Thing;
+    let two = Thing;
+
+    debug_assert_eq!(one, two);
+}
+
+#[derive(Debug)]
+#[cfg_attr(debug_assertions, derive(PartialEq))]
+struct Thing;