Concept Subspace :: sus :: num :: ShrAssign

template <class Lhs>
concept ShrAssign
requires
requires(Lhs& lhs /* TODO: , u32 rhs */) {
                      { lhs >>= 2u } -> std::same_as<void>;
                    }