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

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