From 74bcf35fc83c57fd7e9a31639d7dae31d4d9a050 Mon Sep 17 00:00:00 2001
From: Martin Fischer <martin@push-f.com>
Date: Thu, 25 Nov 2021 16:56:44 +0100
Subject: support dynamized supertraits via attribute
---
ui-tests/src/bin/attr_dynamized_duplicate.rs | 6 ++++++
ui-tests/src/bin/attr_dynamized_duplicate.stderr | 5 +++++
ui-tests/src/bin/attr_dynamized_no_such_supertrait.rs | 5 +++++
ui-tests/src/bin/attr_dynamized_no_such_supertrait.stderr | 5 +++++
4 files changed, 21 insertions(+)
create mode 100644 ui-tests/src/bin/attr_dynamized_duplicate.rs
create mode 100644 ui-tests/src/bin/attr_dynamized_duplicate.stderr
create mode 100644 ui-tests/src/bin/attr_dynamized_no_such_supertrait.rs
create mode 100644 ui-tests/src/bin/attr_dynamized_no_such_supertrait.stderr
(limited to 'ui-tests')
diff --git a/ui-tests/src/bin/attr_dynamized_duplicate.rs b/ui-tests/src/bin/attr_dynamized_duplicate.rs
new file mode 100644
index 0000000..fbe0d11
--- /dev/null
+++ b/ui-tests/src/bin/attr_dynamized_duplicate.rs
@@ -0,0 +1,6 @@
+#[dynamize::dynamize]
+#[dynamized(Foo)]
+#[dynamized(Foo)]
+trait Trait {}
+
+fn main() {}
diff --git a/ui-tests/src/bin/attr_dynamized_duplicate.stderr b/ui-tests/src/bin/attr_dynamized_duplicate.stderr
new file mode 100644
index 0000000..6ff67d1
--- /dev/null
+++ b/ui-tests/src/bin/attr_dynamized_duplicate.stderr
@@ -0,0 +1,5 @@
+error: dynamized attribute is defined multiple times
+ --> src/bin/attr_dynamized_duplicate.rs:3:13
+ |
+3 | #[dynamized(Foo)]
+ | ^^^
diff --git a/ui-tests/src/bin/attr_dynamized_no_such_supertrait.rs b/ui-tests/src/bin/attr_dynamized_no_such_supertrait.rs
new file mode 100644
index 0000000..5b298ea
--- /dev/null
+++ b/ui-tests/src/bin/attr_dynamized_no_such_supertrait.rs
@@ -0,0 +1,5 @@
+#[dynamize::dynamize]
+#[dynamized(Foo)]
+trait Trait {}
+
+fn main() {}
diff --git a/ui-tests/src/bin/attr_dynamized_no_such_supertrait.stderr b/ui-tests/src/bin/attr_dynamized_no_such_supertrait.stderr
new file mode 100644
index 0000000..b7e4cf4
--- /dev/null
+++ b/ui-tests/src/bin/attr_dynamized_no_such_supertrait.stderr
@@ -0,0 +1,5 @@
+error: this trait definition has no such supertrait
+ --> src/bin/attr_dynamized_no_such_supertrait.rs:2:13
+ |
+2 | #[dynamized(Foo)]
+ | ^^^
--
cgit v1.2.3