Concept Subspace :: sus :: num :: ShlAssign

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