src/test/ui/traits/default-method/bound-subst2.rs

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