tests/ui/traits/default-method/bound-subst3.rs

   1 // run-pass
   2
   3
   4 trait A {
   5     fn g<T>(&self, x: T, y: T) -> (T, T) { (x, y) }
   6 }
   7
   8 impl A for isize { }
   9
  10 fn f<T, V: A>(i: V, j: T, k: T) -> (T, T) {
  11     i.g(j, k)
  12 }
  13
  14 pub fn main () {
  15     assert_eq!(f(0, 1, 2), (1, 2));
  16     assert_eq!(f(0, 1u8, 2u8), (1u8, 2u8));
  17 }