// 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()
{
  static_assert(!noexcept(a(A<T>{})), "");
}

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