В целях проверки типов я хотел бы определить функцию в строках

void myfunc(type1 a, type2 b)
{
...
}

гдеtype1 а такжеtype2 оба определены какuint8_t, Пока все хорошо, но для здравомыслия и проверки (думаю, DbC) я бы хотел предотвратить вызов функции с помощьюtype2 значение для первого параметра илиtype1 для второго. К сожалению, неявное приведение типов Си против меня здесь. Кто-нибудь знает способ?