Issue with zio-prelude 1.0.0-RC8-1 (zio1) macros and Scala 2.13.[9|10]

[guizmaii]

Hi everyone 🙂

Since Scala 2.13.9, our prelude's newtypes are not compiling anymore.
I reported the issue to Scala here: scala/bug#12647

Lukas Rytz suggests making a change in prelude's macros to make them work with Scala 2.13.9+ here: scala/bug#12647 (comment)

I don't have enough time to try to make this change for now that's why I'm reporting this issue.
I'll probably not have any time to try to make a PR before a week or two.

Cheers,
Jules

[sideeffffect]

@kitlangton you our macro guru. If you have the time, maybe you can have a look at this? 🙇

[som-snytt]

I'm new to this code, but I suggest on the Scala ticket that it might be enough to

-  def assertion: QuotedAssertion[A] = new QuotedAssertion[A] {
+  def assertion: Any = new QuotedAssertion[A] {

where the Any magically makes the compiler use the refined RHS.

I haven't tried more than a simple test under Scala 2 only.

Edit: That doesn't work, but I'll look for an easy out.

[guizmaii]

FYI, @som-snytt made a PR on Scala to fix this issue: scala/scala#10188

[guizmaii]

Fixed in scala/scala#10188

Fix will be released with Scala 2.13.11