<<should we deprecate this one too? bug 643 is probably a result of this extension. >> I would be in favor of deprecating this certainly. The overload rules in C++ are complex enough as it is, and this "other side of the coin" rule seems to lead to some very odd suprises to me ...