Есть такой примерчик:

typedef int IInt;
void proba(IInt param)
{
    printf("0");
}
void proba(int param)
{
    printf("1");
}
int main()
{
    IInt i = 10;
    proba(i);
}

Error 1 error C2084: function 'void proba(IInt)' already has a body

Есть ли какая-то возможность проверки типов в таком случае? Например если необходимы два типа int, имеющие разную интерпретацию.