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

// Test for PMF template args.
// { dg-do compile { target c++17 } }

struct A
{
  void f() noexcept;
  void g();
};

template <void (A::*)()> struct B { };
template <void (A::*)() noexcept> struct C { };

B<&A::f> b1;
B<&A::g> b2;

C<&A::f> c1;
C<&A::g> c2;			// { dg-error "" }