これでいいじゃん
template<> class Hoge {
void foo();
requires HasFoo<Hoge>;
};