Concept Subspace :: sus :: num :: BitAndAssign

template <class Lhs, class Rhs>
concept BitAndAssign
requires
requires(Lhs& lhs, const Rhs& rhs) {
                         { lhs &= rhs } -> std::same_as<void>;
                       }