6   template<typename T> struct X { typedef int x; };  struct in A
10 …template<> struct X<int>; // expected-error {{explicit specialization of 'A::X<int>' after instant…
15   template<> struct X<double> {  struct in A
21   template<> struct X<float> {}; // expected-note {{previous definition is here}}  struct in A
22   template<> struct X<float> {}; // expected-error {{redefinition of 'X<float>'}}  struct in A
25 A::X<void>::x axv;
30   template<typename U> struct X { typedef int x; };  argument
39   template<> struct X<double> {  struct in B
40     typedef int y;
45   template<> struct X<float> {}; // expected-note {{previous definition is here}}  struct in B
46   template<> struct X<T> {}; // expected-error {{redefinition of 'X<float>'}}  struct in B