[C++ template] Проверка на совпадение типов

Sanjaz

Есть такая функция:

template <class Arg1, class Arg2>

typename Arg1::value_type func(const Arg1& x, const Arg2& y) {

    ....

}

В качестве Arg1и Arg2 могут выступать различные классы-шаблоны и вобще классы, у которых есть
public typedef ... value_type.
Как сделать так, чтобы компилятор ругался если Arg1::value_type != Arg2::value_type и нормально компилировал в обычном случае?

Sanjaz

спасибо