1 // Along with the other tests in this series, illustrates the
2 // "projection gap": in this test, we know that `T::Foo: 'x`, and that
3 // is (naturally) enough to conclude that `T::Foo: 'x`.
7 #![allow(unused_variables)]
13 // calling this fn should trigger a check that the type argument
14 // supplied is well-formed.
17 fn func<'x, T:Trait1<'x>>(t: &'x T::Foo)