From 74bcf35fc83c57fd7e9a31639d7dae31d4d9a050 Mon Sep 17 00:00:00 2001 From: Martin Fischer 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/src') 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