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
(limited to 'ui-tests/src')
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