Частичная специализация с использованием концепций ⇐ C++

[Anonymous]

Я только что читал примеры концепций C ++ 20. Теперь я пытаюсь создать функцию, которая будет распечатать, если данный тип является хэш-столом или не использует концепции, смешанные с частичной специфицией. Но, к сожалению, это не работает. < /P>

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

#include 
#include 

template
concept Hashtable = requires(T a) {
{ std::hash{}(a) } -> std::size_t;
};

struct Foo {};

template 
void Bar() {
std::cout 

Type T is not a hashtable
Type T is a hashtable
< /code>

 мой вопрос < /strong> < /p>

Можно ли специализироваться с использованием концепций? < /p> 

Подробнее здесь: [url]https://stackoverflow.com/questions/55234054/partial-specialization-using-concepts[/url]