src/test/ui/existential_types/generic_duplicate_param_use6.stderr

   1 error: concrete type differs from previous defining existential type use
   2   --> $DIR/generic_duplicate_param_use6.rs:14:1
   3    |
   4 LL | / fn three<T: Debug, U: Debug>(t: T, u: U) -> Two<T, U> {
   5 LL | | //~^ concrete type differs from previous
   6 LL | |     (u, t)
   7 LL | | }
   8    | |_^ expected `(T, T)`, got `(U, T)`
   9    |
  10 note: previous use here
  11   --> $DIR/generic_duplicate_param_use6.rs:10:1
  12    |
  13 LL | / fn two<T: Debug, U: Debug>(t: T, u: U) -> Two<T, U> {
  14 LL | |     (t, t)
  15 LL | | }
  16    | |_^
  17
  18 error: aborting due to previous error
  19