Georgi Krastev
Georgi Krastev
This is surely a Scala bug: ```scala type With[A, T] = A with T type Struct = { def x: Int } trait Trait { def x: Int } class...
@milessabin scala/bug#10506
FTR Scalaz now uses a better encoding of tagged types based on abstract types which doesn't have this issue
This issue is mitigated in Scalaz and at this point there is nothing more we can do here
More detailed info: https://underscore.io/books/shapeless-guide/
> Why couldn’t we also implement Lazy in Scala 3.0.0 by using by-name implicits? It's totally possible. We even have a plugin to enable using by-name implicit syntax on Scala...
> But the erased signature will be the same, so this change will be binary compatible. I'm not sure about that because `L` would erase to its upper bounds which...
@Katrix I think we should drop features that we can't port to Scala 3. My reasoning is that Shapeless 2.4 will almost certainly be the last binary breaking release of...
#1200 does significant progress on this front but the GSoC wasn't enough to complete it. It needs a new champion unless @Katrix plans to return to that work.
See https://github.com/typelevel/shapeless-3/issues/84