1// RUN: %clang_cc1 -fsyntax-only -verify %s 2template<typename T> 3struct X0 { 4 typedef T* type; 5 6 void f0(T); 7 void f1(type); 8}; 9 10template<> void X0<char>::f0(char); 11template<> void X0<char>::f1(type); 12 13namespace 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(); // expected-error{{expected the class name after '~' to name a destructor}} 21} 22 23namespace 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 32namespace 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 52namespace PR19340 { 53template<typename T> struct Helper { 54 template<int N> static void func(const T *m) {} // expected-note {{failed template argument deduction}} 55}; 56 57template<typename T> void Helper<T>::func<2>() {} // expected-error {{cannot specialize a member}} \ 58 // expected-error {{no function template matches}} 59} 60