3 // Check projection of an associated type out of a higher-ranked trait-bound
4 // in the context of a method definition in a trait.
9 fn get(&self, t: T) -> Self::A;
12 trait SomeTrait<I : for<'x> Foo<&'x isize>> {
13 fn some_method(&self, arg: <I as Foo<&isize>>::A);
14 //~^ ERROR cannot use the associated type of a trait with uninferred generic parameters
17 trait AnotherTrait<I : for<'x> Foo<&'x isize>> {
18 fn some_method(&self, arg: <I as Foo<&isize>>::A);
21 trait YetAnotherTrait<I : for<'x> Foo<&'x isize>> {
22 fn some_method<'a>(&self, arg: <I as Foo<&'a isize>>::A);
29 struct Peach<X>(std::marker::PhantomData<X>);
31 impl<X: for<'a> Banana<'a>> Peach<X> {
32 fn mango(&self) -> <X as Banana<'_>>::Assoc {
33 //~^ ERROR cannot use the associated type of a trait with uninferred generic parameters