8 files changed, 48 insertions, 0 deletions
diff --git a/ui-tests/src/bin/assoc_type_bound_with_assoc_type.rs b/ui-tests/src/bin/assoc_type_bound_with_assoc_type.rs
new file mode 100644
index 0000000..b63ac97
--- /dev/null
+++ b/ui-tests/src/bin/assoc_type_bound_with_assoc_type.rs
@@ -0,0 +1,8 @@
+#[dynamize::dynamize]
+trait Trait {
+    type A: Into<Self::A>;
+
+    fn f(&self) -> Self::A;
+}
+
+fn main() {}
diff --git a/ui-tests/src/bin/assoc_type_bound_with_assoc_type.stderr b/ui-tests/src/bin/assoc_type_bound_with_assoc_type.stderr
new file mode 100644
index 0000000..82f6804
--- /dev/null
+++ b/ui-tests/src/bin/assoc_type_bound_with_assoc_type.stderr
@@ -0,0 +1,5 @@
+error: dynamize does not support associated types here
+ --> src/bin/assoc_type_bound_with_assoc_type.rs:3:18
+  |
+3 |     type A: Into<Self::A>;
+  |                  ^^^^
diff --git a/ui-tests/src/bin/param_type_assoc_type.rs b/ui-tests/src/bin/param_type_assoc_type.rs
new file mode 100644
index 0000000..33adb43
--- /dev/null
+++ b/ui-tests/src/bin/param_type_assoc_type.rs
@@ -0,0 +1,6 @@
+#[dynamize::dynamize]
+trait Trait {
+    fn f(&self, x: Self::A);
+}
+
+fn main() {}
diff --git a/ui-tests/src/bin/param_type_assoc_type.stderr b/ui-tests/src/bin/param_type_assoc_type.stderr
new file mode 100644
index 0000000..08620fb
--- /dev/null
+++ b/ui-tests/src/bin/param_type_assoc_type.stderr
@@ -0,0 +1,5 @@
+error: dynamize does not support associated types in parameter types
+ --> src/bin/param_type_assoc_type.rs:3:20
+  |
+3 |     fn f(&self, x: Self::A);
+  |                    ^^^^
diff --git a/ui-tests/src/bin/param_type_impl.rs b/ui-tests/src/bin/param_type_impl.rs
new file mode 100644
index 0000000..c5b107c
--- /dev/null
+++ b/ui-tests/src/bin/param_type_impl.rs
@@ -0,0 +1,6 @@
+#[dynamize::dynamize]
+trait Trait {
+    fn f(&self, x: impl SomeTrait);
+}
+
+fn main() {}
diff --git a/ui-tests/src/bin/param_type_impl.stderr b/ui-tests/src/bin/param_type_impl.stderr
new file mode 100644
index 0000000..57386f0
--- /dev/null
+++ b/ui-tests/src/bin/param_type_impl.stderr
@@ -0,0 +1,5 @@
+error: dynamize does not support impl here, change it to a method generic
+ --> src/bin/param_type_impl.rs:3:20
+  |
+3 |     fn f(&self, x: impl SomeTrait);
+  |                    ^^^^
diff --git a/ui-tests/src/bin/unconverted_assoc_type.rs b/ui-tests/src/bin/unconverted_assoc_type.rs
new file mode 100644
index 0000000..920fa33
--- /dev/null
+++ b/ui-tests/src/bin/unconverted_assoc_type.rs
@@ -0,0 +1,8 @@
+#[dynamize::dynamize]
+trait Trait {
+    type A: std::error::Error;
+
+    fn a<X: Into<Self::A>>(&self, x: X);
+}
+
+fn main() {}
diff --git a/ui-tests/src/bin/unconverted_assoc_type.stderr b/ui-tests/src/bin/unconverted_assoc_type.stderr
new file mode 100644
index 0000000..77952d2
--- /dev/null
+++ b/ui-tests/src/bin/unconverted_assoc_type.stderr
@@ -0,0 +1,5 @@
+error: dynamize does not support associated types here
+ --> src/bin/unconverted_assoc_type.rs:5:18
+  |
+5 |     fn a<X: Into<Self::A>>(&self, x: X);
+  |                  ^^^^