Subtraction assignment operator
<mp-units/constrained.h>
constexpr constrained& operator-=(constrained const& rhs) requires requires(T& a, const T b) { { a -= b } -> std::same_as<T&>; };