diff options
Diffstat (limited to 'src/test/ui/parser/trait-object-trait-parens.rs')
| -rw-r--r-- | src/test/ui/parser/trait-object-trait-parens.rs | 6 | 
1 files changed, 4 insertions, 2 deletions
| diff --git a/src/test/ui/parser/trait-object-trait-parens.rs b/src/test/ui/parser/trait-object-trait-parens.rs index 3802d35aa1d..2bbc5800015 100644 --- a/src/test/ui/parser/trait-object-trait-parens.rs +++ b/src/test/ui/parser/trait-object-trait-parens.rs @@ -1,10 +1,12 @@ -// compile-pass -// compile-flags: -Z parse-only +trait Trait<'a> {} fn f<T: (Copy) + (?Sized) + (for<'a> Trait<'a>)>() {} fn main() { let _: Box<(Copy) + (?Sized) + (for<'a> Trait<'a>)>; + //~^ ERROR `?Trait` is not permitted in trait object types let _: Box<(?Sized) + (for<'a> Trait<'a>) + (Copy)>; let _: Box<(for<'a> Trait<'a>) + (Copy) + (?Sized)>; + //~^ ERROR `?Trait` is not permitted in trait object types + //~| ERROR use of undeclared lifetime name `'a` } | 
