src/test/ui/maybe-bounds.rs

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