<mp-units/safe_int.h>
template< typename T, typename ErrorPolicy> struct constraint_violation_handler<safe_int<T, ErrorPolicy>>;
on_violation