>>417
ありがとう。ええと、それですと

void A(int);
void A(string);

int B(int);
string B(string);
bool B(bool);

A(B("XXX"));

で、Aの時点で、期待する型はintとstring
　Bに入ったら、boolでは無いことがわかる。しかしintとstringのどちらかは区別が付かない
　ということで両方を候補に入れ、Bもやはりintとstringを期待して、
　　で定数の解析に入ったら、定数はstring
　Bに戻って、B(string)が選ばれたことが確定
Aに戻って、A(string)が選ばれたことが確定

こんなイメージ…ですよね？合ってます？