// PR c++/53025
// { dg-do compile { target c++11 } }

template<typename T>
struct A {
  A() noexcept {}
  A(const A&) noexcept(false) {}
};

template<typename T>
void a(A<T>) noexcept {}

template<typename T>
void f()
{
#if __cplusplus <= 201402L
  const bool val = false;
#else
  const bool val = true;
#endif
  static_assert(val == noexcept(a(A<T>{})), "");
}

void g()
{
  f<int>();
}