src/test/ui/existential_types/generic_duplicate_param_use3.stderr

   1 error: defining existential type use restricts existential type by using the generic parameter `T` twice
   2   --> $DIR/generic_duplicate_param_use3.rs:10:1
   3    |
   4 LL | / fn one<T: Debug>(t: T) -> Two<T, T> {
   5 LL | | //~^ defining existential type use restricts existential type
   6 LL | |     t
   7 LL | | }
   8    | |_^
   9
  10 error: concrete type's generic parameters differ from previous defining use
  11   --> $DIR/generic_duplicate_param_use3.rs:19:1
  12    |
  13 LL | / fn three<T, U: Debug>(_: T, u: U) -> Two<T, U> {
  14 LL | | //~^ concrete type's generic parameters differ from previous defining use
  15 LL | |     u
  16 LL | | }
  17    | |_^ expected [`T`], got [`U`]
  18    |
  19 note: previous use here
  20   --> $DIR/generic_duplicate_param_use3.rs:15:1
  21    |
  22 LL | / fn two<T: Debug, U>(t: T, _: U) -> Two<T, U> {
  23 LL | |     t
  24 LL | | }
  25    | |_^
  26
  27 error: aborting due to 2 previous errors
  28