Essentially, ADL has awkward problems when getting beyond the simple cases. It isn't right for D.
I could not agree more strongly!If this feature were supported, it would probably break our module system. Even if we could shoehorn it into the language it would make the compiler slower.