error[E0277]: the trait bound `T: Foo` is not satisfied
  --> $DIR/trait-alias-wf.rs:5:1
   |
LL | trait B<T> = A<T>; //~ ERROR `T: Foo` is not satisfied
   | ^^^^^^^^^^^^^^^^^^ the trait `Foo` is not implemented for `T`
   |
   = help: consider adding a `where T: Foo` bound
note: required by `A`
  --> $DIR/trait-alias-wf.rs:4:1
   |
LL | trait A<T: Foo> {}
   | ^^^^^^^^^^^^^^^

error: aborting due to previous error

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