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