src/test/ui/qualified/qualified-path-params-2.rs

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