1 // RUN: %clang_cc1 -fms-extensions -fsyntax-only -verify %s -Wno-microsoft
2 // RUN: %clang_cc1 -fms-extensions -fdelayed-template-parsing -fsyntax-only -verify %s -Wno-microsoft
3 
4 class A {
5 public:
6   template<typename T> struct X { typedef int x; };
7 
8   X<int>::x a; // expected-note {{implicit instantiation first required here}}
9 
10   template<> struct X<int>; // expected-error {{explicit specialization of 'A::X<int>' after instantiation}}
11   template<> struct X<char>; // expected-note {{forward declaration}}
12 
13   X<char>::x b; // expected-error {{incomplete type 'A::X<char>' named in nested name specifier}}
14 
15   template<> struct X<double> {
16     typedef int y;
17   };
18 
19   X<double>::y c;
20 
21   template<> struct X<float> {}; // expected-note {{previous definition is here}}
22   template<> struct X<float> {}; // expected-error {{redefinition of 'X<float>'}}
23 };
24 
25 A::X<void>::x axv;
26 A::X<float>::x axf; // expected-error {{no type named 'x'}}
27 
28 template<class T> class B {
29 public:
30   template<typename U> struct X { typedef int x; };
31 
32   typename X<int>::x a; // expected-note {{implicit instantiation first required here}}
33 
34   template<> struct X<int>; // expected-error {{explicit specialization of 'X<int>' after instantiation}}
35   template<> struct X<char>; // expected-note {{forward declaration}}
36 
37   typename X<char>::x b; // expected-error {{incomplete type 'B<float>::X<char>' named in nested name specifier}}
38 
39   template<> struct X<double> {
40     typedef int y;
41   };
42 
43   typename X<double>::y c;
44 
45   template<> struct X<float> {}; // expected-note {{previous definition is here}}
46   template<> struct X<T> {}; // expected-error {{redefinition of 'X<float>'}}
47 };
48 
49 B<float> b; // expected-note {{in instantiation of}}
50