Decrement operator
<mp-units/constrained.h>
constexpr constrained<decltype(std::declval<T&>()--), ErrorPolicy> operator--(int);