src/test/ui/on-unimplemented/impl-substs.rs

   1 #![feature(rustc_attrs)]
   2
   3 trait Foo<A> {
   4     fn foo(self);
   5 }
   6
   7 #[rustc_on_unimplemented = "an impl did not match: {A} {B} {C}"]
   8 impl<A, B, C> Foo<A> for (A, B, C) {
   9     fn foo(self) {}
  10 }
  11
  12 fn main() {
  13     Foo::<usize>::foo((1i32, 1i32, 1i32));
  14     //~^ ERROR the trait bound `(i32, i32, i32): Foo<usize>` is not satisfied
  15 }