Detect missing supertrait on serialize_trait_object calls

dtolnay · Mar 15, 2022 · 0b99efe · 0b99efe
1 parent 76854cb
commit 0b99efe
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 1 deletion.
diff --git a/src/macros.rs b/src/macros.rs
@@ -83,6 +83,15 @@ macro_rules! __internal_serialize_trait_object {
         $crate::__internal_serialize_trait_object!(impl ($($generics)*) ($($path)* + $crate::private::Send) ($($bound)*));
         $crate::__internal_serialize_trait_object!(impl ($($generics)*) ($($path)* + $crate::private::Sync) ($($bound)*));
         $crate::__internal_serialize_trait_object!(impl ($($generics)*) ($($path)* + $crate::private::Send + $crate::private::Sync) ($($bound)*));
+        const _: () = {
+            fn __check_erased_serialize_supertrait<__T, $($generics)*>()
+            where
+                __T: ?$crate::private::Sized + $($path)*,
+                $($bound)*
+            {
+                $crate::private::require_erased_serialize_impl::<__T>();
+            }
+        };
     };
 
     // The impl.

diff --git a/src/private.rs b/src/private.rs
@@ -1,5 +1,11 @@
 //! Not public API. Used as `$crate::private` by macros.
 
-pub use core::marker::{Send, Sync};
+pub use core::marker::{Send, Sized, Sync};
 pub use core::result::Result;
 pub use serde;
+
+pub fn require_erased_serialize_impl<T>()
+where
+    T: ?Sized + crate::Serialize,
+{
+}