scalaz.zio cross compilation dotty errors

[fkowal]

When adding dotty 0.13.0-RC1 as scalaVersion in zio/zio#674
I ran in to a few "regressions" compared to 2.12.8

• type inference
• implicit resolution
• pattern matching exhaustivity covariant type parameter in sealed trait causes match may not be exhaustive #6197
• compile time error scala.MatchError: Ident(ACCEPTABLE) scala.MatchError for imported java enum Values #6151
• runtime time error java.lang.NoSuchMethodError: org.specs2.specification.create.S2StringContextCreation$specificationInStringContext.s2(Lscala/collection/Seq;)Lorg/specs2/specification/core/Fragments Emit an error when trying to call a Scala 2 macro from Dotty #6150

I am not sure how to report all of them.
Please have a look at the commit history, you can reproduce them by running:

sbt ++0.13.0-RC1 coreJVM/test:compile

[smarter]

I am not sure how to report all of them.

For each issue, try to find the minimum amount of code required to reproduce it (try to get it down to one file, and then it's easy to just remove code from that file piece by piece to get something minimal). If this proves too cumbersome, then an issue which points to a single git commit that clearly shows the problem is also acceptable, but it'll take us much longer to fix it.

[abgruszecki]

@fkowal let me just add that all problems you mentioned are important issues for us to fix and you minimising them would be very helpful!

[fkowal]

I’ll be sure to try and narrow down the source of these errors. Two of them have already their own issues opened. So 3 more to go

[VladKopanev]

I have created a ticket that is related to type inference and also was encountered during scalaz.zio compilation with dotty, please take look #6199

[liufengyun]

It seems all bugs reported are fixed in the master branch.

@fkowal Could you please check if it indeed works? Thanks.

[OlivierBlanvillain]

Closing this for now, feel free to open new issues as needed.