gcc/testsuite/g++.dg/concepts/explicit-spec6.C

   1 // { dg-options "-std=c++17 -fconcepts" }
   2
   3 template<typename T>
   4 struct A {
   5     template<class T2> void f1(T, T2); // member template
   6     template<class T2> void f2(T, T2); // member template
   7 };
   8
   9 template<>
  10 template<class X1> void A<int>::f1(int, X1);
  11
  12 // Specialization with template-id
  13 template<>
  14 template<> void A<int>::f2<char>(int, char);
  15
  16 // Specialization with deduction
  17 template<>
  18 template<> void A<int>::f1(int, char);