1 // RUN: %clang_cc1 -fsyntax-only -verify %s
2 
3 // Test class template partial specializations of member templates.
4 template<typename T>
5 struct X0 {
6   template<typename U> struct Inner0 {
7     static const unsigned value = 0;
8   };
9 
10   template<typename U> struct Inner0<U*> {
11     static const unsigned value = 1;
12   };
13 };
14 
15 template<typename T> template<typename U>
16 struct X0<T>::Inner0<const U*> {
17   static const unsigned value = 2;
18 };
19 
20 int array0[X0<int>::Inner0<int>::value == 0? 1 : -1];
21 int array1[X0<int>::Inner0<int*>::value == 1? 1 : -1];
22 int array2[X0<int>::Inner0<const int*>::value == 2? 1 : -1];
23 
24 // Make sure we can provide out-of-line class template partial specializations
25 // for member templates (and instantiate them).
26 template<class T> struct A {
27   struct C {
28     template<class T2> struct B;
29   };
30 };
31 
32 // partial specialization of A<T>::C::B<T2>
33 template<class T> template<class T2> struct A<T>::C::B<T2*> { };
34 
35 A<short>::C::B<int*> absip;
36 
37 // Check for conflicts during template instantiation.
38 template<typename T, typename U>
39 struct Outer {
40   template<typename X, typename Y> struct Inner;
41   template<typename Y> struct Inner<T, Y> {}; // expected-note{{previous}}
42   template<typename Y> struct Inner<U, Y> {}; // expected-error{{cannot be redeclared}}
43 };
44 
45 Outer<int, int> outer; // expected-note{{instantiation}}
46 
47 // Test specialization of class template partial specialization members.
48 template<> template<typename Z>
49 struct X0<float>::Inner0<Z*> {
50   static const unsigned value = 3;
51 };
52 
53 int array3[X0<float>::Inner0<int>::value == 0? 1 : -1];
54 int array4[X0<float>::Inner0<int*>::value == 3? 1 : -1];
55 int array5[X0<float>::Inner0<const int*>::value == 2? 1 : -1];
56 
57 namespace rdar8651930 {
58   template<typename OuterT>
59   struct Outer {
60     template<typename T, typename U>
61     struct Inner;
62 
63     template<typename T>
64     struct Inner<T, T> {
65       static const bool value = true;
66     };
67 
68     template<typename T, typename U>
69     struct Inner {
70       static const bool value = false;
71     };
72   };
73 
74   int array0[Outer<int>::Inner<int, int>::value? 1 : -1];
75   int array1[Outer<int>::Inner<int, float>::value? -1 : 1];
76 }
77