| // 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 type arguments are not allowed for this type | |
| //~| ERROR ambiguous associated type | |
| fn main() {} |