We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Please consider the following Type Parameter hierarchy:
sealed trait A[X] { def foo: X } object A { final case class First[Type : GenCodec](foo: Type) extends A[Type] object First { implicit def genCodec[Type : GenCodec]: GenCodec[First[Type]] = GenCodec.materialize } implicit def genCodec[T : GenCodec]: GenCodec[A[T]] = GenCodec.materialize }
The code above compiles and works nicely. However, after turning the Type Parameter into the Type Member:
sealed trait A { type X def foo: X } object A { final case class First[Type : GenCodec](foo: Type) extends A { type X = Type } object First { implicit def genCodec[Type : GenCodec]: GenCodec[First[Type]] = GenCodec.materialize } implicit def genCodec[T : GenCodec]: GenCodec[A { type X = T }] = GenCodec.materialize }
the compiler claims that Cannot automatically derive GenCodec for com.avsystem.yanush.components.shared.search.model.A{type X = T}.
Cannot automatically derive GenCodec for com.avsystem.yanush.components.shared.search.model.A{type X = T}
The text was updated successfully, but these errors were encountered:
Fixed in 1.28.0
Sorry, something went wrong.
No branches or pull requests
Please consider the following Type Parameter hierarchy:
The code above compiles and works nicely. However, after turning the Type Parameter into the Type Member:
the compiler claims that
Cannot automatically derive GenCodec for com.avsystem.yanush.components.shared.search.model.A{type X = T}
.The text was updated successfully, but these errors were encountered: