#include <type_traits>

template<typename U, typename V, typename = std::enable_if_t<!std::is_convertible<U, V>::value && !std::is_same<U, V>::value>>
void foo(U &&u, V &&v)
{

}