about summary refs log tree commit diff
path: root/tests/ui/suggestions/dyn-incompatible-trait-references-self.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/suggestions/dyn-incompatible-trait-references-self.rs')
-rw-r--r--tests/ui/suggestions/dyn-incompatible-trait-references-self.rs15
1 files changed, 15 insertions, 0 deletions
diff --git a/tests/ui/suggestions/dyn-incompatible-trait-references-self.rs b/tests/ui/suggestions/dyn-incompatible-trait-references-self.rs
new file mode 100644
index 00000000000..4b3d5faba46
--- /dev/null
+++ b/tests/ui/suggestions/dyn-incompatible-trait-references-self.rs
@@ -0,0 +1,15 @@
+trait Trait {
+    fn baz(&self, _: Self) {}
+    //~^ ERROR the size for values of type `Self` cannot be known
+    fn bat(&self) -> Self {}
+    //~^ ERROR mismatched types
+    //~| ERROR the size for values of type `Self` cannot be known
+}
+
+fn bar(x: &dyn Trait) {} //~ ERROR the trait `Trait` cannot be made into an object
+
+trait Other: Sized {}
+
+fn foo(x: &dyn Other) {} //~ ERROR the trait `Other` cannot be made into an object
+
+fn main() {}