error: `?Trait` is not permitted in trait object types
  --> $DIR/wf-trait-object-maybe-bound.rs:7:15
   |
LL | type _0 = dyn ?Sized + Foo;
   |               ^^^^^^

error: `?Trait` is not permitted in trait object types
  --> $DIR/wf-trait-object-maybe-bound.rs:10:21
   |
LL | type _1 = dyn Foo + ?Sized;
   |                     ^^^^^^

error: `?Trait` is not permitted in trait object types
  --> $DIR/wf-trait-object-maybe-bound.rs:13:21
   |
LL | type _2 = dyn Foo + ?Sized + ?Sized;
   |                     ^^^^^^

error: `?Trait` is not permitted in trait object types
  --> $DIR/wf-trait-object-maybe-bound.rs:13:30
   |
LL | type _2 = dyn Foo + ?Sized + ?Sized;
   |                              ^^^^^^

error: `?Trait` is not permitted in trait object types
  --> $DIR/wf-trait-object-maybe-bound.rs:17:15
   |
LL | type _3 = dyn ?Sized + Foo;
   |               ^^^^^^

error: aborting due to 5 previous errors