1 Cannot use the associated type of
2 a trait with uninferred generic parameters.
4 Erroneous code example:
10 fn get(&self, t: T) -> Self::A;
13 fn foo2<I : for<'x> Foo<&'x isize>>(
14 field: I::A) {} // error!
17 In this example, we have to instantiate `'x`, and
18 we don't know what lifetime to instantiate it with.
19 To fix this, spell out the precise lifetimes involved.
26 fn get(&self, t: T) -> Self::A;
29 fn foo3<I : for<'x> Foo<&'x isize>>(
30 x: <I as Foo<&isize>>::A) {} // ok!
33 fn foo4<'a, I : for<'x> Foo<&'x isize>>(
34 x: <I as Foo<&'a isize>>::A) {} // ok!