Give a try to the solution provided by @ghik here: scala-js/scala-js#…

…5127 (comment)
zio · Feb 7, 2025 · 7984a2e · 7984a2e
1 parent 8c773df
commit 7984a2e
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/core-tests/shared/src/test/scala-2.12-2.13/zio/prelude/NewtypeSpecTypes212.scala b/core-tests/shared/src/test/scala-2.12-2.13/zio/prelude/NewtypeSpecTypes212.scala
@@ -4,7 +4,7 @@ package zio.prelude
 object NewtypeSpecTypes212 {
 
   object Palindrome extends Newtype[String] {
-    override def assertion = assertCustom { str =>
+    override def assertion = assertCustom { (str: String) =>
       if (str.reverse == str) Right(()) else Left(AssertionError.Failure("isPalindrome"))
     }
   }

diff --git a/macros/shared/src/main/scala-2/zio/prelude/Macros.scala b/macros/shared/src/main/scala-2/zio/prelude/Macros.scala
@@ -198,12 +198,12 @@ new _root_.zio.prelude.QuotedAssertion[${c.weakTypeOf[A]}] {
     val (_, _, codeString) = text(f)
     q"""
 new _root_.zio.prelude.QuotedAssertion[${c.weakTypeOf[A]}] {
-  @_root_.zio.prelude.assertionLambdaQuote($f)
+  @_root_.zio.prelude.assertionLambdaQuote(${c.untypecheck(f)})
   @_root_.zio.prelude.assertionString($codeString)
   def magic = 42
 
   def run(value: ${c.weakTypeOf[A]}): _root_.scala.util.Either[_root_.zio.prelude.AssertionError, _root_.scala.Unit] =
-    $f(value)
+    ${c.untypecheck(f)}(value)
 }
        """
   }