Georgi Krastev
Georgi Krastev
If you add the bound it works on Scala 3.1.1 - but of course there is no Shapeless 2 for Scala 3
@milessabin I'm not sure if we would actually want to add this to the library or just close it as an experiment
> If you have an actual use for it, then I don't see any objection to adding it, other than footprint. The only use-case I can think of is in...
That's awkward. * Moving `Problem` below `X` makes the error go away * So does ascribing `def z: X#S = x.z` * But ascribing `def z: X#Z = x.z` still...
There are other type inference issues related to F-bounded types (I assume this is the case here) like #3528. The problem is in `glb/lub` of such types.
~I guess in Scala 3 it could be `String | Int` and in Scala 2 it could be `Any`~ No, better to reject this then
I think it would be fine to not support all features in the beginning. At least the advantage of using macros is that we can add more features later without...
@pomadchin if you can do that it would be amazing! 100 files to review is daunting. But I haven't had much time lately either. It's just been a mess for...
Sounds like a plan
It's a daunting task to rebase this. Perhaps some of the early commits can be omitted now? Had for me to tell.