diff --git a/src/macros.rs b/src/macros.rs
index 7b78b72..30a9b41 100644
--- a/src/macros.rs
+++ b/src/macros.rs
@@ -1364,8 +1364,15 @@ macro_rules! __derive_zeroable {
         #[automatically_derived]
         unsafe impl<$($impl_generics)*> $crate::Zeroable for $name<$($ty_generics)*>
         where
-            $($field_ty: $crate::Zeroable,)*
             $($($whr)*)?
         {}
+        const _: () = {
+            fn assert_zeroable<T: $crate::Zeroable + ?::core::marker::Sized>() {}
+            fn ensure_zeroable<$($impl_generics)*>()
+                where $($($whr)*)?
+            {
+                $(assert_zeroable::<$field_ty>();)*
+            }
+        };
     };
 }