1 error: `?Trait` is not permitted in supertraits
2 --> $DIR/maybe-bounds.rs:11:11
4 LL | trait Tr: ?Sized {} //~ ERROR `?Trait` is not permitted in supertraits
7 = note: traits are `?Sized` by default
9 error: `?Trait` is not permitted in trait object types
10 --> $DIR/maybe-bounds.rs:13:16
12 LL | type A1 = Tr + (?Sized); //~ ERROR `?Trait` is not permitted in trait object types
15 error: `?Trait` is not permitted in trait object types
16 --> $DIR/maybe-bounds.rs:14:24
18 LL | type A2 = for<'a> Tr + (?Sized); //~ ERROR `?Trait` is not permitted in trait object types
21 error: aborting due to 3 previous errors