aboutsummaryrefslogtreecommitdiff
path: root/ui-tests
diff options
context:
space:
mode:
Diffstat (limited to 'ui-tests')
-rw-r--r--ui-tests/src/bin/unconvertible_type_vec.rs8
-rw-r--r--ui-tests/src/bin/unconvertible_type_vec.stderr5
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>;
+ | ^^^