// { dg-do assemble } template <int I, int J, int K> struct S {}; template <int I, int J> struct S<I, J, 2> : public S<I, I, I>, S<J, J, J> {}; template <int I, int J, int K> void f(S<I, J, K>, S<I, I, I>); void g() { S<0, 0, 0> s0; S<0, 1, 2> s2; f<0>(s0, s2); f(s0, s2); // { dg-error "" } no matching function }