функция времени компиляции для проверки равенства типов

Мне нужно реализовать самодостаточную функцию времени компиляции для проверки равенства типов (шаблон функции без аргументовbool eqTypes<T,S>()).

самодостаточный означает не полагаться на библиотеку.

Я не хорош во всем этом. Это то, что я пытался, но это не то, что мне нужно.

template<typename T>
bool eq_types(T const&, T const&) { 
return true;
}

template<typename T, typename U> 
bool eq_types(T const&, U const&) { 
return false; 
}

Ответы на вопрос(2)

Ваш ответ на вопрос