| // PR c++/55652 | |
| // { dg-do compile { target c++11 } } | |
| template <typename T> | |
| struct A | |
| { | |
| static const bool a = false; | |
| }; | |
| template <typename X, typename Y = A <X>> | |
| struct B | |
| { | |
| B () noexcept (A <Y>::a) {} | |
| }; | |
| template <typename X, typename Y> | |
| struct C | |
| { | |
| X x; | |
| Y y; | |
| }; | |
| struct D | |
| { | |
| D () | |
| #if __cplusplus <= 201402L | |
| throw (int) // { dg-warning "deprecated" "" { target { ! c++17 } } } | |
| #endif | |
| ; | |
| }; | |
| C <D, B <D>> c; |