clang-tests/gcc-4_2-testsuite/src/g++.old-deja/g++.pt/expr2.C

// { dg-do assemble  }

template <int I>
struct S {};

template <int J>
void foo(S<J + 2>); // { dg-warning "" } candidate template ignored

void bar()
{
  foo(S<3>()); // { dg-error "" } no way to deduce J from this.
}