3 fn f<T: (Copy) + (?Sized) + (for<'a> Trait<'a>)>() {}
6 let _: Box<(Copy) + (?Sized) + (for<'a> Trait<'a>)>;
7 //~^ ERROR `?Trait` is not permitted in trait object types
8 //~| WARN trait objects without an explicit `dyn` are deprecated
9 let _: Box<(?Sized) + (for<'a> Trait<'a>) + (Copy)>;
10 //~^ WARN trait objects without an explicit `dyn` are deprecated
11 let _: Box<(for<'a> Trait<'a>) + (Copy) + (?Sized)>;
12 //~^ ERROR use of undeclared lifetime name `'a`
13 //~| ERROR `?Trait` is not permitted in trait object types
14 //~| WARN trait objects without an explicit `dyn` are deprecated