3 // Testing that this impl turns A into a Quux, because
4 // A is already a Foo Bar Baz
6 impl<T:Foo + Bar + Baz> Quux for T { }
8 trait Foo { fn f(&self) -> isize; }
9 trait Bar { fn g(&self) -> isize; }
10 trait Baz { fn h(&self) -> isize; }
12 trait Quux: Foo + Bar + Baz { }
16 impl Foo for A { fn f(&self) -> isize { 10 } }
17 impl Bar for A { fn g(&self) -> isize { 20 } }
18 impl Baz for A { fn h(&self) -> isize { 30 } }
21 assert_eq!(a.f(), 10);
22 assert_eq!(a.g(), 20);
23 assert_eq!(a.h(), 30);