On 10/02/2017 07:15 AM, Timon Gehr wrote:
If there are multiple definitions of the same name, different modules might not agree which one is being referred to. (This is particularly likely for overloaded operators, as the set of names is finite and small. This is what Manu means when he says it can lead to nasty surprises. This is very plausible, but I don't have a good example.)
Indeed a good example would strengthen the argument considerably. -- Andrei
