src/test/ui/impl-trait/issue-55872-1.stderr

   1 error[E0276]: impl has stricter requirements than trait
   2   --> $DIR/issue-55872-1.rs:12:15
   3    |
   4 LL |     fn foo<T>() -> Self::E;
   5    |     ----------------------- definition of `foo` from trait
   6 ...
   7 LL |     fn foo<T: Default>() -> Self::E {
   8    |               ^^^^^^^ impl has extra requirement `T: Default`
   9
  10 error[E0277]: the trait bound `S: Copy` is not satisfied in `(S, T)`
  11   --> $DIR/issue-55872-1.rs:12:29
  12    |
  13 LL |     fn foo<T: Default>() -> Self::E {
  14    |                             ^^^^^^^ within `(S, T)`, the trait `Copy` is not implemented for `S`
  15    |
  16    = note: required because it appears within the type `(S, T)`
  17 help: consider further restricting this bound
  18    |
  19 LL | impl<S: Default + std::marker::Copy> Bar for S {
  20    |                 +++++++++++++++++++
  21
  22 error[E0277]: the trait bound `T: Copy` is not satisfied in `(S, T)`
  23   --> $DIR/issue-55872-1.rs:12:29
  24    |
  25 LL |     fn foo<T: Default>() -> Self::E {
  26    |                             ^^^^^^^ within `(S, T)`, the trait `Copy` is not implemented for `T`
  27    |
  28    = note: required because it appears within the type `(S, T)`
  29 help: consider further restricting this bound
  30    |
  31 LL |     fn foo<T: Default + std::marker::Copy>() -> Self::E {
  32    |                       +++++++++++++++++++
  33
  34 error: aborting due to 3 previous errors
  35
  36 Some errors have detailed explanations: E0276, E0277.
  37 For more information about an error, try `rustc --explain E0276`.