// { dg-do assemble  }

template <class T> 
struct S;

template <class T = int>
struct S {};

template <class T> 
struct S;

void f()
{
  S<> s;
}