ms-class-specialization-class-scope.cpp source code [clang_source_code/test/SemaTemplate/ms-class-specialization-class-scope.cpp]

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

Clang Project