/* { dg-do compile } */
/* { dg-options "-fdump-ada-spec" } */

template<int n>
void bar ()
{
  return;
}

class Foo
{
  // This check that we properly skip the specification for templated
  // members of non-templated classes.
  template<int n>
  void bar ();
};

template<int n>
void Foo::bar ()
{
  return;
}

/* { dg-final { cleanup-ada-spec } } */