// { dg-options "-w" }

template <typename T>
struct S {
  int i;
  template <typename U> void f(U) {}
};

template<> 
template <typename U>
void S<int>::f(U) { i; }

void f() {
  S<int> s;
  s.f<int>(3);
}