// { dg-do assemble } // GROUPS passed templates template<class K, class V> class MapLS { }; class String {}; class X1 { }; class RefProto { }; template<class REP> class Ref { }; template <> class MapLS<String, Ref<X1> >: public MapLS<String, RefProto> { public: ~MapLS(); }; MapLS<String, Ref<X1> >::~MapLS() { }