2 files changed, 13 insertions, 0 deletions
diff --git a/ui-tests/src/bin/unconvertible_type_vec.rs b/ui-tests/src/bin/unconvertible_type_vec.rs
new file mode 100644
index 0000000..e18e8d1
--- /dev/null
+++ b/ui-tests/src/bin/unconvertible_type_vec.rs
@@ -0,0 +1,8 @@
+#[dynamize::dynamize]
+trait Trait {
+    type A: std::alloc::Allocator;
+
+    fn a(&self) -> Vec<String, Self::A>;
+}
+
+fn main() {}
diff --git a/ui-tests/src/bin/unconvertible_type_vec.stderr b/ui-tests/src/bin/unconvertible_type_vec.stderr
new file mode 100644
index 0000000..65306f0
--- /dev/null
+++ b/ui-tests/src/bin/unconvertible_type_vec.stderr
@@ -0,0 +1,5 @@
+error: dynamize does not know how to convert this type
+ --> src/bin/unconvertible_type_vec.rs:5:20
+  |
+5 |     fn a(&self) -> Vec<String, Self::A>;
+  |                    ^^^