only use check_leaks with debug_assertions

Author: lcnr

compiler/rustc_infer/src/infer/snapshot/check_leaks.rs

@@ -96,6 +96,7 @@ impl<'tcx> TypeVisitor<TyCtxt<'tcx>> for HasSnapshotLeaksVisitor {
 }
 
 #[macro_export]
+#[cfg(debug_assertions)]
 macro_rules! type_foldable_verify_no_snapshot_leaks {
     ($tcx:lifetime, $t:ty) => {
         const _: () = {
@@ -116,7 +117,7 @@ macro_rules! type_foldable_verify_no_snapshot_leaks {
                     (value, visitor)
                 }
                 fn avoid_leaks(_: &InferCtxt<$tcx>, (value, mut visitor): Self::EndData) -> Self {
-                    if cfg!(debug_assertions) && value.visit_with(&mut visitor).is_break() {
+                    if value.visit_with(&mut visitor).is_break() {
                         bug!("leaking vars from snapshot: {value:?}");
                     }
 
@@ -126,3 +127,11 @@ macro_rules! type_foldable_verify_no_snapshot_leaks {
         };
     };
 }
+
+#[macro_export]
+#[cfg(not(debug_assertions))]
+macro_rules! type_foldable_verify_no_snapshot_leaks {
+    ($tcx:lifetime, $t:ty) => {
+        trivial_no_snapshot_leaks!($tcx, $t)
+    };
+}