Georgi Krastev
Georgi Krastev
Interesting... I wonder if we could force the type checking of `apply` somehow. I will take a look maybe this weekend.
I tried to make some of these types abstract a while ago - see https://github.com/milessabin/shapeless/pull/807 - one of the issues was it caused boxing which would be unacceptable performance regression....
> Or is it too late because of the binary compatibility? That might be the case too. If MiMa complains then probably we can't do it.
That's pretty much a limitation of the library. It's assumed that the typeclasses are "regular" in the sense that when deriving for a case class, we need them for all...
I think that could work theoretically in Scala 3 with inline - but I think it's a totally new design of the library. Perhaps worth a try but it would...
It would be great but I don't think anyone's working on it at the moment.
> lhs should be first common class (GCD of class I guess) LUB and GLB are not exposed in Scala 3 macros. You could make `Diff[-A]` contravariant and use `A...
> I was writing that before i knew how Scala 2 macro work - it should propably work like it. Not sure what you mean. This is Scala 3. >...
They are related though, `Chunk` extends `Seq`
Maybe scala/scala#8458? The same as #11774 applies: * `2.13.2-bin-4ec48ff` is green * `2.13.2-bin-99afc54` is red