support dynamized supertraits via attribute

1 files changed, 15 insertions, 0 deletions

diff --git a/tests/tests.rs b/tests/tests.rs
index e3df519..b75c605 100644
--- a/tests/tests.rs
+++ b/tests/tests.rs
@@ -282,3 +282,18 @@ trait CustomCollection {
 
     fn test(&self) -> MyCollection<Self::A, Self::A, Self::A>;
 }
+
+#[dynamize::dynamize]
+trait SomeTrait {
+    type Y: Into<String>;
+
+    fn foo(&self) -> Self::Y;
+}
+
+#[dynamize::dynamize]
+#[dynamized(SomeTrait)]
+trait OneTrait: SomeTrait {
+    type X: Into<String>;
+
+    fn test(&self) -> Self::X;
+}