1 // RUN: %clang_cc1 -fsyntax-only -verify %s 2 template<typename T> 3 struct X0 { 4 typedef T* type; 5 6 void f0(T); 7 void f1(type); 8 }; 9 10 template<> void X0<char>::f0(char); 11 template<> void X0<char>::f1(type); 12 13 namespace PR6161 { 14 template<typename _CharT> 15 class numpunct : public locale::facet // expected-error{{use of undeclared identifier 'locale'}} \ 16 // expected-error{{expected class name}} 17 { 18 static locale::id id; // expected-error{{use of undeclared identifier}} 19 }; 20 numpunct<char>::~numpunct(); 21 } 22 23 namespace PR12331 { 24 template<typename T> struct S { 25 struct U { static const int n = 5; }; 26 enum E { e = U::n }; // expected-note {{implicit instantiation first required here}} 27 int arr[e]; 28 }; 29 template<> struct S<int>::U { static const int n = sizeof(int); }; // expected-error {{explicit specialization of 'U' after instantiation}} 30 } 31 32 namespace PR18246 { 33 template<typename T> 34 class Baz { 35 public: 36 template<int N> void bar(); 37 }; 38 39 template<typename T> 40 template<int N> 41 void Baz<T>::bar() { // expected-note {{couldn't infer template argument 'N'}} 42 } 43 44 // FIXME: We shouldn't try to match this against a prior declaration if 45 // template parameter matching failed. 46 template<typename T> 47 void Baz<T>::bar<0>() { // expected-error {{cannot specialize a member of an unspecialized template}} \ 48 // expected-error {{no function template matches}} 49 } 50 } 51 52 namespace PR19340 { 53 template<typename T> struct Helper { 54 template<int N> static void func(const T *m) {} // expected-note {{failed template argument deduction}} 55 }; 56 57 template<typename T> void Helper<T>::func<2>() {} // expected-error {{cannot specialize a member}} \ 58 // expected-error {{no function template matches}} 59 } 60
