src/test/ui/parser/associated-types-project-from-hrtb-explicit.rs

   1 // Test you can't use a higher-ranked trait bound inside of a qualified
   2 // path (just won't parse).
   3
   4 pub trait Foo<T> {
   5     type A;
   6
   7     fn get(&self, t: T) -> Self::A;
   8 }
   9
  10 fn foo2<I>(x: <I as for<'x> Foo<&'x isize>>::A)
  11     //~^ ERROR expected identifier, found keyword `for`
  12     //~| ERROR expected one of `::` or `>`
  13 {
  14 }
  15
  16 pub fn main() {}