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