src/test/parse-fail/associated-types-project-from-hrtb-explicit.rs

   1 // Copyright 2014 The Rust Project Developers. See the COPYRIGHT
   2 // file at the top-level directory of this distribution and at
   3 // http://rust-lang.org/COPYRIGHT.
   4 //
   5 // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
   6 // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
   7 // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
   8 // option. This file may not be copied, modified, or distributed
   9 // except according to those terms.
  10
  11 // compile-flags: -Z parse-only
  12
  13 // Test you can't use a higher-ranked trait bound inside of a qualified
  14 // path (just won't parse).
  15
  16 pub trait Foo<T> {
  17     type A;
  18
  19     fn get(&self, t: T) -> Self::A;
  20 }
  21
  22 fn foo2<I>(x: <I as for<'x> Foo<&'x isize>>::A)
  23     //~^ ERROR expected identifier, found keyword `for`
  24     //~| ERROR expected one of `::` or `>`
  25 {
  26 }
  27
  28 pub fn main() {}