Как применить концепцию к функции-члену концепции? ⇐ C++

[Anonymous]

Предположим следующую концепцию C++

Код: Выделить всё

template 
concept has_set = requires(T t, std::string s) {
{ t.set(s) } -> std::same_as; };
};

Я не могу использовать концепцию для параметра s, например

Код: Выделить всё

template 
concept has_set = requires(T t, std::convertible_to s) {
{ t.set(s) } -> std::same_as; };
};

не удастся скомпилировать. Есть ли какой-либо обходной путь или трюк, который можно применить здесь для достижения именно этой цели?

Примечание:

Этот вопрос имеет следующий вопрос здесь:

Как применить концепцию к функции-члену в концепции, а затем использовать ее?.

Последующий вопрос добавляет требование, чтобы использование концепции должно быть возможным без явного указания аргументов шаблона концепции.

Подробнее здесь: https://stackoverflow.com/questions/791 ... -a-concept