src/test/ui/associated-types/associated-types-path-1.rs

   1 // Test that we have one and only one associated type per ref.
   2
   3 pub trait Foo {
   4     type A;
   5 }
   6 pub trait Bar {
   7     type A;
   8 }
   9
  10 pub fn f1<T>(a: T, x: T::A) {} //~ERROR associated type `A` not found
  11 pub fn f2<T: Foo + Bar>(a: T, x: T::A) {} //~ERROR ambiguous associated type `A`
  12
  13 pub fn main() {}