1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21
// Check that qualified paths with type parameters // fail during type checking and not during parsing struct S; trait Tr { type A; } impl Tr for S { type A = S; } impl S { fn f<T>() {} } type A = <S as Tr>::A::f<u8>; //~^ ERROR ambiguous associated type fn main() {}