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

// Test for function pointer conversion on template arguments.
// { dg-do compile { target c++17 } }

template <void (*P)()> struct A { };

void f() noexcept { }
constexpr void (*p)() noexcept = f;

A<f> a;
A<p> b;