// { dg-do assemble  }

template <class X, class Y>
struct Inner;

template <class T>
struct S
{
  template <class U>
  struct Inner
  {
  };
};


S<double>::Inner<int> si;