// { dg-do compile { target c++11 } }
// { dg-options "-fdiagnostics-show-caret" }

class is_not_empty
{
  int i;
};

/* Verify location of static_assert failure (and of traits).  */

static_assert(__is_empty(is_not_empty), "message"); // { dg-error "static assertion failed: message" }
/* { dg-begin-multiline-output "" }
 static_assert(__is_empty(is_not_empty), "message");
               ^~~~~~~~~~~~~~~~~~~~~~~~
   { dg-end-multiline-output "" } */


/* Again, this time verifying location of "noexcept".  */

extern void might_throw ();

static_assert(noexcept(might_throw ()), "message"); // { dg-error "static assertion failed: message" }
/* { dg-begin-multiline-output "" }
 static_assert(noexcept(might_throw ()), "message");
               ^~~~~~~~~~~~~~~~~~~~~~~~
   { dg-end-multiline-output "" } */