better error for associated types in supertraits

1 files changed, 13 insertions, 0 deletions

diff --git a/src/lib.rs b/src/lib.rs
index 3656bf7..277720e 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -104,6 +104,19 @@ pub fn dynamize(_attr: TokenStream, input: TokenStream) -> TokenStream {
     let mut blanket_impl_attrs = Vec::new();
     let mut dyn_trait_attrs = Vec::new();
 
+    // just to provide a better error message
+    for bound in trait_bounds(&original_trait.supertraits) {
+        if let Some(assoc_type) = iter_path(&bound.path)
+            .filter_map(filter_map_assoc_paths)
+            .next()
+        {
+            return abort!(
+                assoc_type.span(),
+                "dynamize does not support associated types in supertraits"
+            );
+        }
+    }
+
     // FUTURE: use Vec::drain_filter once it's stable
     let mut i = 0;
     while i < original_trait.attrs.len() {