There is an additional problem with automatic imports (or any imports for that matter) in case there are several with the same name. This causes ambiguity errors. My intuition is that it could produce overloaded definitions instead, but maybe I’m wrong. This is briefly discussed in https://github.com/lampepfl/dotty/issues/9882