Implement P0012R1, Make exception specifications part of the type system.

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

// Test for function pointer conversion on template arguments.
// { dg-options -std=c++1z }

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

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

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