1 // RUN: %clang_cc1 -fsyntax-only -std=c++17 -verify %s -fcxx-exceptions 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> bar()41 void Baz<T>::bar() { 42 } 43 44 template<typename T> bar()45 void Baz<T>::bar<0>() { // expected-error {{cannot specialize a member of an unspecialized template}} 46 } 47 } 48 49 namespace PR19340 { 50 template<typename T> struct Helper { funcPR19340::Helper51 template<int N> static void func(const T *m) {} 52 }; 53 func()54template<typename T> void Helper<T>::func<2>() {} // expected-error {{cannot specialize a member}} 55 } 56 57 namespace SpecLoc { 58 template <typename T> struct A { 59 static int n; // expected-note {{previous}} 60 static void f(); // expected-note {{previous}} 61 }; 62 template<> float A<int>::n; // expected-error {{different type}} 63 template<> void A<int>::f() throw(); // expected-error {{does not match}} 64 } 65 66 namespace PR41607 { 67 template<int N> struct Outer { 68 template<typename...> struct Inner; 69 template<> struct Inner<> { fPR41607::Outer::Inner70 static constexpr int f() { return N; } 71 }; 72 73 template<typename...> static int a; 74 template<> static constexpr int a<> = N; 75 76 template<typename...> static inline int b; 77 template<> static inline constexpr int b<> = N; 78 79 template<typename...> static constexpr int f(); fPR41607::Outer80 template<> static constexpr int f() { 81 return N; 82 } 83 }; 84 static_assert(Outer<123>::Inner<>::f() == 123, ""); 85 static_assert(Outer<123>::Inner<>::f() != 125, ""); 86 87 static_assert(Outer<123>::a<> == 123, ""); 88 static_assert(Outer<123>::a<> != 125, ""); 89 90 static_assert(Outer<123>::b<> == 123, ""); 91 static_assert(Outer<123>::b<> != 125, ""); 92 93 static_assert(Outer<123>::f<>() == 123, ""); 94 static_assert(Outer<123>::f<>() != 125, ""); 95 } 96