From fa9d689238064784e5ad220ba9e0c95fad71fe66 Mon Sep 17 00:00:00 2001
From: Martin Fischer <martin@push-f.com>
Date: Mon, 22 Nov 2021 10:28:33 +0100
Subject: add ui-test for Vec<String, Self::A>

---
 ui-tests/src/bin/unconvertible_type_vec.rs     | 8 ++++++++
 ui-tests/src/bin/unconvertible_type_vec.stderr | 5 +++++
 2 files changed, 13 insertions(+)
 create mode 100644 ui-tests/src/bin/unconvertible_type_vec.rs
 create mode 100644 ui-tests/src/bin/unconvertible_type_vec.stderr

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>;
+  |                    ^^^
-- 
cgit v1.2.3