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