Increment operator
<mp-units/constrained.h>
constexpr constrained& operator++() requires requires(T& v) { { ++v } -> std::same_as<T&>; };