src/test/ui/type-alias-impl-trait/generic_duplicate_param_use7.rs

   1 // check-pass
   2 // revisions: min_tait full_tait
   3 #![feature(min_type_alias_impl_trait)]
   4 #![cfg_attr(full_tait, feature(type_alias_impl_trait))]
   5 //[full_tait]~^ WARN incomplete
   6
   7 use std::fmt::Debug;
   8
   9 fn main() {}
  10
  11 type Two<A: Debug, B> = impl Debug;
  12
  13 fn two<T: Debug + Copy, U>(t: T, u: U) -> Two<T, U> {
  14     (t, t)
  15 }
  16
  17 fn three<T: Debug, U>(t: T, t2: T, u: U) -> Two<T, U> {
  18     (t, t2)
  19 }
  20
  21 fn four<T: Debug, U, V>(t: T, t2: T, u: U, v: V) -> Two<T, U> {
  22     (t, t2)
  23 }
  24
  25 fn five<X, Y: Debug>(x: X, y: Y, y2: Y) -> Two<Y, X> {
  26     (y, y2)
  27 }