summaryrefslogtreecommitdiffstats
path: root/tests/ui/suggestions/object-unsafe-trait-should-use-self.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/suggestions/object-unsafe-trait-should-use-self.rs')
-rw-r--r--tests/ui/suggestions/object-unsafe-trait-should-use-self.rs16
1 files changed, 16 insertions, 0 deletions
diff --git a/tests/ui/suggestions/object-unsafe-trait-should-use-self.rs b/tests/ui/suggestions/object-unsafe-trait-should-use-self.rs
new file mode 100644
index 000000000..75f99075e
--- /dev/null
+++ b/tests/ui/suggestions/object-unsafe-trait-should-use-self.rs
@@ -0,0 +1,16 @@
+#![allow(bare_trait_objects)]
+trait A: Sized {
+ fn f(a: A) -> A;
+ //~^ ERROR associated item referring to unboxed trait object for its own trait
+ //~| ERROR the trait `A` cannot be made into an object
+}
+trait B {
+ fn f(a: B) -> B;
+ //~^ ERROR associated item referring to unboxed trait object for its own trait
+ //~| ERROR the trait `B` cannot be made into an object
+}
+trait C {
+ fn f(&self, a: C) -> C;
+}
+
+fn main() {}