// { dg-do assemble  }

template<int I> struct A { };
template<int I, int J> int f(A<I+J>);
int g() {
  A<3> a;
  return f<1,2>(a);
}