diff options
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.rs | 16 |
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() {} |