tests/ui/type-alias-impl-trait/generic_duplicate_param_use9.stderr

   1 error[E0277]: the trait bound `A: Foo` is not satisfied
   2   --> $DIR/generic_duplicate_param_use9.rs:15:5
   3    |
   4 LL |     (t, u, T::BAR)
   5    |     ^^^^^^^^^^^^^^ the trait `Foo` is not implemented for `A`
   6    |
   7 help: consider restricting type parameter `A`
   8    |
   9 LL | type Two<A: Foo, B> = impl Debug;
  10    |           +++++
  11
  12 error[E0277]: `A` doesn't implement `Debug`
  13   --> $DIR/generic_duplicate_param_use9.rs:15:5
  14    |
  15 LL |     (t, u, T::BAR)
  16    |     ^^^^^^^^^^^^^^ `A` cannot be formatted using `{:?}` because it doesn't implement `Debug`
  17    |
  18    = note: required for `(A, B, _)` to implement `Debug`
  19 help: consider restricting type parameter `A`
  20    |
  21 LL | type Two<A: std::fmt::Debug, B> = impl Debug;
  22    |           +++++++++++++++++
  23
  24 error[E0277]: `B` doesn't implement `Debug`
  25   --> $DIR/generic_duplicate_param_use9.rs:15:5
  26    |
  27 LL |     (t, u, T::BAR)
  28    |     ^^^^^^^^^^^^^^ `B` cannot be formatted using `{:?}` because it doesn't implement `Debug`
  29    |
  30    = note: required for `(A, B, _)` to implement `Debug`
  31 help: consider restricting type parameter `B`
  32    |
  33 LL | type Two<A, B: std::fmt::Debug> = impl Debug;
  34    |              +++++++++++++++++
  35
  36 error[E0277]: `A` doesn't implement `Debug`
  37   --> $DIR/generic_duplicate_param_use9.rs:22:5
  38    |
  39 LL |     (t, u, 42)
  40    |     ^^^^^^^^^^ `A` cannot be formatted using `{:?}` because it doesn't implement `Debug`
  41    |
  42    = note: required for `(A, B, i32)` to implement `Debug`
  43 help: consider restricting type parameter `A`
  44    |
  45 LL | type Two<A: std::fmt::Debug, B> = impl Debug;
  46    |           +++++++++++++++++
  47
  48 error[E0277]: `B` doesn't implement `Debug`
  49   --> $DIR/generic_duplicate_param_use9.rs:22:5
  50    |
  51 LL |     (t, u, 42)
  52    |     ^^^^^^^^^^ `B` cannot be formatted using `{:?}` because it doesn't implement `Debug`
  53    |
  54    = note: required for `(A, B, i32)` to implement `Debug`
  55 help: consider restricting type parameter `B`
  56    |
  57 LL | type Two<A, B: std::fmt::Debug> = impl Debug;
  58    |              +++++++++++++++++
  59
  60 error: aborting due to 5 previous errors
  61
  62 For more information about this error, try `rustc --explain E0277`.