<mp-units/constrained.h>
template<typename EP> concept ConstraintPolicy = requires(std::string_view msg) { EP::on_constraint_violation(msg); };