src/test/ui/type-alias-impl-trait/issue-52843.stderr

   1 error[E0277]: the trait bound `T: Default` is not satisfied
   2   --> $DIR/issue-52843.rs:7:5
   3    |
   4 LL |     t
   5    |     ^ the trait `Default` is not implemented for `T`
   6    |
   7 help: consider restricting type parameter `T`
   8    |
   9 LL | type Foo<T: std::default::Default> = impl Default;
  10    |           +++++++++++++++++++++++
  11
  12 error: aborting due to previous error
  13
  14 For more information about this error, try `rustc --explain E0277`.