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