gcc/testsuite/g++.dg/cpp1z/noexcept-type9.C

   1 // Test for PMF template args.
   2 // { dg-options -std=c++17 }
   3 // { dg-do compile }
   4
   5 struct A
   6 {
   7   void f() noexcept;
   8   void g();
   9 };
  10
  11 template <void (A::*)()> struct B { };
  12 template <void (A::*)() noexcept> struct C { };
  13
  14 B<&A::f> b1;
  15 B<&A::g> b2;
  16
  17 C<&A::f> c1;
  18 C<&A::g> c2;                    // { dg-error "" }