Package object scope while implicit lookup

When I have a package object defined with implicit types in the same package where I intend to use I don’t have to write any explicit import statement, which is pretty convenient. However, if I have package object defined in any of other parent object then implicit lookup doesn’t go there unless I explicitly import that package object.

e.g.

Package Object:

package com.mycomp.myproj.myservice
package object dao {
  
  implicit def toXyz(str: String): Xyz
  
}

Target Class 1:

package com.mycomp.myproj.myservice.dao
object test {
   val xyz : Xyz = "str" //this works

}

Target Class 2:

package com.mycomp.myproj.myservice.**myrepo**

object test {
   val xyz : Xyz = "str" //this doesn't works

}

Why wouldn’t implicit lookup go to the package object defined in parent packages? what harm it could have?

Implicit scope includes the package objects of enclosing packages. “implicits defined in a package object are part of the implicit scope of a type prefixed by that package.”

Not sure it makes sense to include arbitrary child package objects?

Reason I raised this question is I am ending up defining package object for each package since visibility of type defined in package object is limited to only that package and not its child package. It just look ugly to have a package object for each package (modules). Moreover it reduces code reusability. You end up having package object in each package to have it imported automatically. Package object seems to be designed for defining common type aliases, implicits, functions, fields etc. Writing explicit import statement to import such package object seems to defeating it’s purpose. I could just as well defined all that in regular object and import it.

From the docs:

Package objects can even inherit Scala classes and traits.

with one caveat:

Note that method overloading doesn’t work in package objects.

But this still might allow you to at least reduce clutter for your use case (granted it will still require creating multiple package object files).

I wonder who wrote that and why. From what I can see overloading just works…

There is support for chained package clauses:

package myorg
package service

will result in the definitions of the myorg package and myorg.service packages being visible in that module.

Certain groups consider this poor style. I consider this a very useful feature for package hierarchies.