lampepfl / dotty-feature-requests

Historical feature requests. Please create new feature requests at https://github.com/lampepfl/dotty/discussions/new?category=feature-requests
31 stars 2 forks source link

Expose default arguments in Mirrors (or scala.Product) #252

Closed adampauls closed 3 years ago

adampauls commented 3 years ago

If I understand correctly, it is not currently possible to access default arguments in case classes during typeclass derivation. I can find no way to do it, and the fact that Magnolia can no longer do this makes me think that it is not possible. Is this planned? Is there some other workaround planned? This is a fairly major blocker for our two common uses of typeclass derivation (pureconfig and circe).

adampauls commented 3 years ago

Ooops, I see https://github.com/lampepfl/dotty-feature-requests/issues/162.