extern "C" void abort();

template <class T>
struct S
{
  template <class U>
  int f(U u);
};


template <>
template <>
int S<char>::f<int>(int i) { return 1; }

int main()
{
  S<char> sc;

  if (sc.f(3) != 1)
    abort();
}