gistfile1.txt

struct A;

trait B<T> { fn foo(a: &T); }

impl B<int> for A {
  fn foo(_: &int) {}
}

struct Something;

impl<T, N: B<T>> Something {
  fn test(t: &T) {
    B::foo(t);
  }
}

fn main() {}

gistfile2.txt

foo.rs:13:4: 13:10 error: cannot determine a type for this bounded type parameter: unconstrained type
foo.rs:13     B::foo(t);
              ^~~~~~