what concept should I write in C++20 to make sure a template parameter is the instantiation of a template class C

[JUANDENT]

Hi,

I have this code:

template <typename T, typename ...RefBy> requires (???))
struct TableDef
{
};

I need T to be TableKey<U, int U::*K> for some U and K... I tried using this :

requires (template<typename U, int U::* K> std::is_same_v(TableKey<U,K >, T))

but it does not compile....

Any ideas?

Regards,
Juan