diff options
| -rw-r--r-- | ui-tests/src/bin/assoc_type_bound_with_assoc_type.rs | 8 | ||||
| -rw-r--r-- | ui-tests/src/bin/assoc_type_bound_with_assoc_type.stderr | 5 | ||||
| -rw-r--r-- | ui-tests/src/bin/param_type_assoc_type.rs | 6 | ||||
| -rw-r--r-- | ui-tests/src/bin/param_type_assoc_type.stderr | 5 | ||||
| -rw-r--r-- | ui-tests/src/bin/param_type_impl.rs | 6 | ||||
| -rw-r--r-- | ui-tests/src/bin/param_type_impl.stderr | 5 | ||||
| -rw-r--r-- | ui-tests/src/bin/unconverted_assoc_type.rs | 8 | ||||
| -rw-r--r-- | ui-tests/src/bin/unconverted_assoc_type.stderr | 5 |
8 files changed, 48 insertions, 0 deletions
diff --git a/ui-tests/src/bin/assoc_type_bound_with_assoc_type.rs b/ui-tests/src/bin/assoc_type_bound_with_assoc_type.rs new file mode 100644 index 0000000..b63ac97 --- /dev/null +++ b/ui-tests/src/bin/assoc_type_bound_with_assoc_type.rs @@ -0,0 +1,8 @@ +#[dynamize::dynamize] +trait Trait { + type A: Into<Self::A>; + + fn f(&self) -> Self::A; +} + +fn main() {} diff --git a/ui-tests/src/bin/assoc_type_bound_with_assoc_type.stderr b/ui-tests/src/bin/assoc_type_bound_with_assoc_type.stderr new file mode 100644 index 0000000..82f6804 --- /dev/null +++ b/ui-tests/src/bin/assoc_type_bound_with_assoc_type.stderr @@ -0,0 +1,5 @@ +error: dynamize does not support associated types here + --> src/bin/assoc_type_bound_with_assoc_type.rs:3:18 + | +3 | type A: Into<Self::A>; + | ^^^^ diff --git a/ui-tests/src/bin/param_type_assoc_type.rs b/ui-tests/src/bin/param_type_assoc_type.rs new file mode 100644 index 0000000..33adb43 --- /dev/null +++ b/ui-tests/src/bin/param_type_assoc_type.rs @@ -0,0 +1,6 @@ +#[dynamize::dynamize] +trait Trait { + fn f(&self, x: Self::A); +} + +fn main() {} diff --git a/ui-tests/src/bin/param_type_assoc_type.stderr b/ui-tests/src/bin/param_type_assoc_type.stderr new file mode 100644 index 0000000..08620fb --- /dev/null +++ b/ui-tests/src/bin/param_type_assoc_type.stderr @@ -0,0 +1,5 @@ +error: dynamize does not support associated types in parameter types + --> src/bin/param_type_assoc_type.rs:3:20 + | +3 | fn f(&self, x: Self::A); + | ^^^^ diff --git a/ui-tests/src/bin/param_type_impl.rs b/ui-tests/src/bin/param_type_impl.rs new file mode 100644 index 0000000..c5b107c --- /dev/null +++ b/ui-tests/src/bin/param_type_impl.rs @@ -0,0 +1,6 @@ +#[dynamize::dynamize] +trait Trait { + fn f(&self, x: impl SomeTrait); +} + +fn main() {} diff --git a/ui-tests/src/bin/param_type_impl.stderr b/ui-tests/src/bin/param_type_impl.stderr new file mode 100644 index 0000000..57386f0 --- /dev/null +++ b/ui-tests/src/bin/param_type_impl.stderr @@ -0,0 +1,5 @@ +error: dynamize does not support impl here, change it to a method generic + --> src/bin/param_type_impl.rs:3:20 + | +3 | fn f(&self, x: impl SomeTrait); + | ^^^^ diff --git a/ui-tests/src/bin/unconverted_assoc_type.rs b/ui-tests/src/bin/unconverted_assoc_type.rs new file mode 100644 index 0000000..920fa33 --- /dev/null +++ b/ui-tests/src/bin/unconverted_assoc_type.rs @@ -0,0 +1,8 @@ +#[dynamize::dynamize] +trait Trait { + type A: std::error::Error; + + fn a<X: Into<Self::A>>(&self, x: X); +} + +fn main() {} diff --git a/ui-tests/src/bin/unconverted_assoc_type.stderr b/ui-tests/src/bin/unconverted_assoc_type.stderr new file mode 100644 index 0000000..77952d2 --- /dev/null +++ b/ui-tests/src/bin/unconverted_assoc_type.stderr @@ -0,0 +1,5 @@ +error: dynamize does not support associated types here + --> src/bin/unconverted_assoc_type.rs:5:18 + | +5 | fn a<X: Into<Self::A>>(&self, x: X); + | ^^^^ |