diff --git a/gcc/testsuite/g++.dg/cpp1z/noexcept-type20.C b/gcc/testsuite/g++.dg/cpp1z/noexcept-type20.C
index a6033f71a4f..2e4412d0e77 100644
--- a/gcc/testsuite/g++.dg/cpp1z/noexcept-type20.C
+++ b/gcc/testsuite/g++.dg/cpp1z/noexcept-type20.C
@@ -3,12 +3,11 @@
 
 struct A
 {
-  void foo() noexcept;
+  constexpr int foo() const noexcept { return 1; }
 };
 
-template<typename T> void bar(T);
+constexpr auto p = static_cast<int (A::*)() const>(&A::foo);
+constexpr int i = (A().*p)();
 
-void baz()
-{
-  bar(static_cast<void(A::*)()>(&A::foo));
-}
+#define SA(X) static_assert((X),#X)
+SA(i == 1);