// PR c++/29408

template <class T> class a
{
  ~a<T>();
};