1 // RUN: %clang_cc1 -fsyntax-only -verify %s 2 3 template<typename T, typename U> 4 struct X1 { 5 static const int value = 0; 6 }; 7 8 template<typename T, typename U> 9 struct X1<T*, U*> { 10 static const int value = 1; 11 }; 12 13 template<typename T> 14 struct X1<T*, T*> { 15 static const int value = 2; 16 }; 17 18 template<typename T> 19 struct X1<const T*, const T*> { 20 static const int value = 3; 21 }; 22 23 int array0[X1<int, int>::value == 0? 1 : -1]; 24 int array1[X1<int*, float*>::value == 1? 1 : -1]; 25 int array2[X1<int*, int*>::value == 2? 1 : -1]; 26 typedef const int* CIP; 27 int array3[X1<const int*, CIP>::value == 3? 1 : -1]; 28 29 template<typename T, typename U> 30 struct X2 { }; 31 32 template<typename T, typename U> 33 struct X2<T*, U> { }; // expected-note{{matches}} 34 35 template<typename T, typename U> 36 struct X2<T, U*> { }; // expected-note{{matches}} 37 38 template<typename T, typename U> 39 struct X2<const T*, const U*> { }; 40 41 X2<int*, int*> x2a; // expected-error{{ambiguous}} 42 X2<const int*, const int*> x2b; 43