error[E0277]: the trait bound `for<'a> (): Unsize<(dyn Trait + 'a)>` is not satisfied
  --> $DIR/unsize-goal-escaping-bounds.rs:20:5
   |
LL |     foo();
   |     ^^^^^ the trait `for<'a> Unsize<(dyn Trait + 'a)>` is not implemented for `()`
   |
   = note: all implementations of `Unsize` are provided automatically by the compiler, see <https://doc.rust-lang.org/stable/std/marker/trait.Unsize.html> for more information
note: required by a bound in `foo`
  --> $DIR/unsize-goal-escaping-bounds.rs:15:17
   |
LL | fn foo()
   |    --- required by a bound in this function
LL | where
LL |     for<'a> (): Unsize<dyn Trait + 'a>,
   |                 ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `foo`

error: aborting due to 1 previous error

For more information about this error, try `rustc --explain E0277`.