// { dg-do run  }
// Origin: Mark Mitchell <mark@codesourcery.com>

template <class T> struct A {
  template <class U> int f(U) { return 1; }
};

template <>
template <class U>
int A<int>::f(U) { return 0; }

A<int> a;

int main ()
{
  return a.f (3);
}