src/test/ui/maybe-bounds.rs

   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
   9 fn main() {}