Name clash for derived ADTs?

[an-tex]

Consider the following minimal example:

import io.circe.Codec
import io.circe.generic.semiauto._

sealed trait Parent

object Nested1 {
  case object Child extends Parent
}

object Nested2 {
  // compiles
  //case object Child1 extends Parent

  // doesn't compile
  case object Child extends Parent
}

implicit val codec: Codec[Parent] = deriveCodec

This doesn't compile with could not find Lazy implicit value of type io.circe.generic.codec.DerivedAsObjectCodec[A].
I've seen #251 , but this seems rather like a name clash on the object Child. If you rename one of the Child objects to e.g. object Child1, compilation works.

I'm using those objects to structure a hierarchy and scope. But as soon as any of the case classes/objects habe the same name the compiler bails out.

This happens on both 0.12.x and 0.13

[travisbrown]

This is unfortunate but intentional, given Shapeless's representation for cases like this—see this thread and I think also #454 for some discussion and suggestions about workarounds. I wish we could provide a better error message but I also think that's not possible.

A couple of years ago I opened a Shapeless issue noting the problem, and if the representation changes there it should just work here (but I think that's unlikely to happen at this point).