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

   1 // { dg-do compile { target c++17 } }
   2
   3 template<typename T>
   4 struct S;
   5
   6 template<bool IsNoexcept>
   7 struct S<void(*)() noexcept(IsNoexcept)> {
   8         S() {}
   9 };
  10
  11 void f() {}
  12
  13 int main() {
  14         S<decltype(&f)> {};
  15 }