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

// { dg-options "-std=c++17" }

template<typename T>
struct S;

template<bool IsNoexcept>
struct S<void(*)() noexcept(IsNoexcept)> {
	S() {}
};

void f() {}

int main() {
	S<decltype(&f)> {};
}