Как проще всего организовать два неприводимых неявно друг к другу целочисленных типа.
То есть, хочется чтобы компилятор автоматически отслеживал ошибки наподобие:

// <какое-то объявление неприводимых друг к другу целочисленных типов type_1, type_2>

void f(type_1 _x)
{
  //<bla-bla>
}

void main()
{
   type_1  x;
   type_2  u;

   x = u; //должен выдать ошибку
   f(u);  //должен выдать ошибку
};

Спасибо.