// PR c++/36870
// { dg-do "run" }
#include <cassert>

struct S { const S& operator= (const S&); };

bool f ();

int main ()
{
  assert (__has_nothrow_assign (S) == f ());
}

const S& S::operator= (const S&) { }

bool f () { return __has_nothrow_assign (S); }