xref: /external/clang/test/CXX/temp/temp.spec/temp.expl.spec/p16.cpp

// RUN: %clang_cc1 -fsyntax-only -verify %s
template<class T> struct A {
  void f(T);
  template<class X1> void g1(T, X1);
  template<class X2> void g2(T, X2);
  void h(T) { }
};

// specialization
template<> void A<int>::f(int);

// out of class member template definition
template<class T> template<class X1> void A<T>::g1(T, X1) { }

// member template specialization
template<> template<class X1> void A<int>::g1(int, X1);

// member template specialization
template<> template<>
  void A<int>::g1(int, char);	// X1 deduced as char

template<> template<>
  void A<int>::g2<char>(int, char); // X2 specified as char
                                    // member specialization even if defined in class definition

template<> void A<int>::h(int) { }

namespace PR10024 {
  template <typename T>
  struct Test{
    template <typename U>
    void get(U i) {}
  };

  template <typename T>
  template <>
  void Test<T>::get<double>(double i) {}  // expected-error{{cannot specialize (with 'template<>') a member of an unspecialized template}}
}