gcc/testsuite/g++.dg/cpp2a/nontype-class65.C

   1 // PR c++/113649
   2 // { dg-do compile { target c++20 } }
   3
   4 template<class... Args>
   5 struct A {
   6   template<class Ret>
   7   struct Fun { constexpr Fun(Ret(*)(Args...)) { } };
   8
   9   template<Fun f>
  10   struct B { using type = decltype(f); };
  11 };
  12
  13 bool f(char, long);
  14
  15 using type = A<char, long>::B<&f>::type;
  16 using type = A<char, long>::Fun<bool>;