blob: e3eb7dbeac63ce44d9802a47af589dfe1ff5cabd [file] [log] [blame]
// PR c++/66684
// { dg-do compile { target c++11 } }
template<typename T>
struct traits
{
static constexpr bool foo() { return sizeof(T) > 1; }
static constexpr bool bar() { return sizeof(T) > 1; }
};
template<typename T>
struct X
{
X& operator=(X&&) noexcept(traits<T>::foo());
};
template<typename T>
X<T>&
X<T>::operator=(X&&) noexcept(traits<T>::foo() && traits<T>::bar()) // { dg-error "different exception" }
{ return *this; }