// { dg-do assemble  }

template <class T>
struct S1
{
  void foo(T = t());

  static T t();
};


template <class T>
struct S2
{
  void bar();
};


template <class T>
void S2<T>::bar ()
{
  S1<T> st;
  st.foo();
}


int main()
{
  S2<int> s2i;
  s2i.bar();
}