Is it guaranteed that implicit type conversion is not considered in the type template argument?

Quotations are acceptable, and articles, chapter numbers, etc. JIS X3014:2003

Perhaps you are confused that you can call func(long) (where the argument type is int instead of long) especially for the general integer promotion 4.5, but implicitly for this integer promotion

In the case of template type resolution, the candidate function selection logic per 13.3.1, 13.3.2 and 13.3.3 is considered as a priority over the general integer promotion.

#include<iostream>

template <typename T> structure A {
    A(T) {std::cout<<"primary"<<std::endl;}
};
template<>struct A<long>{
    A(long) {std::cout<<"long"<<std::endl;}
};
template<>struct A<short>{
    A(short) {std::cout<<"short"<<std::endl;}
};
template<>struct A<char>{
    A(char) {std::cout<<"char"<<std::endl;}
};
template<>struct A<int>{
    A(int) {std::cout<<"int"<<std::endl;}
};

int main()
{
    Aa1(0);
    Aa2('\0');
    Aa3(0L);
    Aa4(0U);
}

Try commenting on some of the specializations or specifying the values of the arguments in suffixes to see how they work.