Вот простой пример дедукции типов, который работает с нейтивом и не работает с дот нетовскими типами:

template<class T>
class C;
template<class... Ts>
class C<void(Ts...)>
{};
//...
C<void(int, char*)> a; //работает
C<void(int, System::String^)> b; // ошибка компиляции, не находит специализации

При этом, если дедактить std::tuple<...> то всё работает. Проблема именно с типами: T(...)

Кто-то встречал такое явление? Чем лечить?

Вот простой пример дедукции типов, который работает с нейтивом и не работает с дот нетовскими типами:

template<class T>
class C;
template<class... Ts>
class C<void(Ts...)>
{};
//...
C<void(int, char*)> a; //работает
C<void(int, System::String^)> b; // ошибка компиляции, не находит специализации

При этом, если дедактить std::tuple<...> то всё работает. Проблема именно с типами: T(...)

Кто-то встречал такое явление? Чем лечить?