Как применить концепцию к функции-члену концепции? ⇐ 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