aboutsummaryrefslogtreecommitdiff
path: root/ui-tests
diff options
context:
space:
mode:
authorMartin Fischer <martin@push-f.com>2021-11-22 10:28:33 +0100
committerMartin Fischer <martin@push-f.com>2021-11-22 10:28:42 +0100
commitfa9d689238064784e5ad220ba9e0c95fad71fe66 (patch)
treeaadb18480f6c638d211f84fcd6db847ef2f6286d /ui-tests
parent69a3335f1b79b074a0e1038bdfd9aa79508131d1 (diff)
add ui-test for Vec<String, Self::A>
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>;
+ | ^^^