src/test/compile-fail/vtable-res-trait-param.rs

   1 trait TraitA {
   2     fn method_a() -> int;
   3 }
   4
   5 trait TraitB {
   6     fn gimme_an_a<A: TraitA>(a: A) -> int;
   7 }
   8
   9 impl int: TraitB {
  10     fn gimme_an_a<A: TraitA>(a: A) -> int {
  11         a.method_a() + self
  12     }
  13 }
  14
  15 fn call_it<B: TraitB>(b: B)  -> int {
  16     let y = 4u;
  17     b.gimme_an_a(y) //~ ERROR failed to find an implementation of trait @TraitA
  18 }
  19
  20 fn main() {
  21     let x = 3i;
  22     assert call_it(x) == 22;
  23 }