On Sun, Apr 7, 2013 at 1:22 PM, Steven Watanabe <watanabesj@gmail.com> wrote:

Undefined behavior does not mean throw an exception;
it means all bets are off.  

I did not mean to imply it does. I meant to say that's what a user would intuitively expect.
 
If you add relaxed
to the concept, then you'll get an exception.

OK, that works as advertised.

Thanks,

Alex