src/test/ui/existential_types/generic_duplicate_param_use2.rs

   1 // compile-pass
   2 #![feature(existential_type)]
   3
   4 use std::fmt::Debug;
   5
   6 fn main() {}
   7
   8 // test that unused generic parameters are ok
   9 existential type Two<T, U>: Debug;
  10
  11 fn one<T: Debug>(t: T) -> Two<T, T> {
  12     t
  13 }
  14
  15 fn two<T: Debug, U>(t: T, _: U) -> Two<T, U> {
  16     t
  17 }