Should we add `a * b` for vectors?

[Andrei Alexandrescu]

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