// { dg-do compile } | |
// Specialization of member class template. | |
template<class T1> struct A | |
{ | |
template<class T2> struct B {}; | |
}; | |
template <> template <> struct A<int>::B<int> {}; | |
template <> template <class U> struct A<int>::B {}; // { dg-error "specialization" } |