Должен ли этот код по стандарту компилится и работать так как я хочу?

template< class TIn, class TOut >
void Convert(TIn In, TOut Out){}

template< class T >
void Convert(T In, T Out){}

int main()
{
int a = 0;
float b = 0, c = 0;

Convert( a, b ); //Вызов 1
Convert( b, c ); //Вызов 2

return 0;
}