1 trait Tr: ?Sized {}
2 //~^ ERROR `?Trait` is not permitted in supertraits
3
4 type A1 = dyn Tr + (?Sized);
5 //~^ ERROR `?Trait` is not permitted in trait object types
6 type A2 = dyn for<'a> Tr + (?Sized);
7 //~^ ERROR `?Trait` is not permitted in trait object types
8
main()9 fn main() {}
10