Eu preciso implementar auto-contido função de tempo de compilação para verificar a igualdade de tipo (modelo de função sem argumentosbool eqTypes<T,S>()).

autônomo significa não depender da biblioteca.

Eu não sou bom nisso tudo. Isso é o que eu tentei, mas não é o que eu preciso.

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; 
}