1 // RUN: %clang_cc1 -fsyntax-only -verify %s
2 template<class T> struct A {
3   void f(T);
4   template<class X1> void g1(T, X1);
5   template<class X2> void g2(T, X2);
6   void h(T) { }
7 };
8 
9 // specialization
10 template<> void A<int>::f(int);
11 
12 // out of class member template definition
13 template<class T> template<class X1> void A<T>::g1(T, X1) { }
14 
15 // member template specialization
16 template<> template<class X1> void A<int>::g1(int, X1);
17 
18 // member template specialization
19 template<> template<>
20   void A<int>::g1(int, char);	// X1 deduced as char
21 
22 template<> template<>
23   void A<int>::g2<char>(int, char); // X2 specified as char
24                                     // member specialization even if defined in class definition
25 
26 template<> void A<int>::h(int) { }
27 
28 namespace PR10024 {
29   template <typename T>
30   struct Test{
31     template <typename U>
32     void get(U i) {}
33   };
34 
35   template <typename T>
36   template <>
37   void Test<T>::get<double>(double i) {}  // expected-error{{cannot specialize (with 'template<>') a member of an unspecialized template}}
38 }
39