Определение концепта

template<typename A>
concept simstr::StrExpr =  requires(const A& a) {
    typename std::remove_cvref_t<A>::symb_type;
    { a.length() } -> std::convertible_to<size_t>;
    { a.place(std::declval<typename std::remove_cvref_t<A>::symb_type*>()) } -> std::same_as<typename std::remove_cvref_t<A>::symb_type*>;
}

Подробное описание

Концепт "Строковых выражений".

Это концепт, проверяющий, является ли тип "строковым выражением".