| // 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>(); | |
| } |