Undefined behavior does not mean throw an exception; it means all bets are off.
If you add relaxed to the concept, then you'll get an exception.