Hi Lex, I think we agree here. I also got the same impression as you regarding your statement "it might be possible for Julia to determine that there is no overlap between the methods simply, it is my understanding that in general it could be an expensive whole program computation".
For me, I think this impression is derived from one of Jeff's posts: " Comparing method signatures is computationally difficult (exponential worst case!), while looking for a symbol in a list is trivial. Warnings for name conflicts may be annoying, but at least it's dead obvious what's happening. If a subtle adjustment to a signature affects visibility elsewhere, I'd think that would be much harder to track down. " ...But I am not absolutely certain I am following some of this discussion correctly....
