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>
bar()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>
bar()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 {
funcPR19340::Helper54 template<int N> static void func(const T *m) {} // expected-note {{failed template argument deduction}}
55 };
56
func()57 template<typename T> void Helper<T>::func<2>() {} // expected-error {{cannot specialize a member}} \
58 // expected-error {{no function template matches}}
59 }
60