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