Как я могу создать концепцию, чтобы проверить, является ли тип «A» производным от шаблона «B<...что-то...>»? ⇐ C++

[Anonymous]

Минимальный, полный, проверяемый пример на godbolt
У меня есть концепция Trait_AActuallyBTemplate, позволяющая проверить, является ли тип A экземпляром шаблона B, и это работает.
Как я могу создать новую концепцию, чтобы проверить, наследует ли A от B?
#include
#include
namespace hid{
template
struct is_mytype : std::false_type { };

template
struct is_mytype : std::true_type { };

};

template
concept Trait_AActuallyBTemplate = hid::is_mytype::value;

//vvv need modifying here
template
concept Trait_AInheritFromBTemplate = hid::is_mytype::value;
//^^^ need modifying here

int main() {
static_assert(Trait_AActuallyBTemplate,"hehe1");
static_assert(!Trait_AActuallyBTemplate,"hehe2");
struct MyVector : public std::vector {};
static_assert(Trait_AInheritFromBTemplate,"hehe3");
//^^^ Assert only fails here. (It should work. I am sad.)
}


Подробнее здесь: https://stackoverflow.com/questions/790 ... m-template