Как частично специализироваться для типа, вложенного в шаблон? ⇐ C++

[Anonymous]

У меня есть структура шаблона с вложенным классом, например, < /p>

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

template 
struct X {
struct nested { };
};
< /code>
И у меня есть черта, например, < /p>
template 
struct is_nested {
static constexpr bool value = false;
};

Я хотел бы частично специализироваться для вложенного типа любого x . В духе < /p>

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

template 
struct is_nested {
static constexpr bool value = true;
};

Компиляторы жалуются (по праву): «Частичная специализация содержит параметр шаблона, который не может быть выведен».
Я могу решить это, используя отражение в C ++ 26, но есть способ сделать это в C ++ или ниже?>

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