Merge pull request #11840 from dotty-staging/fix-11835

Fix #11835: respect inline flag for default values of inline parameters

Author: nicolasstucki

compiler/src/dotty/tools/dotc/ast/Desugar.scala

@@ -298,7 +298,7 @@ object desugar {
             rhs = vparam.rhs
           )
           .withMods(Modifiers(
-            meth.mods.flags & (AccessFlags | Synthetic),
+            meth.mods.flags & (AccessFlags | Synthetic) | (vparam.mods.flags & Inline),
             meth.mods.privateWithin))
         val rest = defaultGetters(vparams :: paramss1, n + 1)
         if vparam.rhs.isEmpty then rest else defaultGetter :: rest

tests/pos-macros/i11835/X.scala

@@ -0,0 +1,12 @@
+import scala.quoted.*
+
+object X:
+  inline def blah(inline b: Boolean = true): Unit =
+    ${ _blah('b) }
+
+  private def _blah(b: Expr[Boolean])(using Quotes): Expr[Unit] =
+    import quotes.reflect.*
+    println("="*120)
+    println(b.asTerm)
+    println(b.valueOrError)
+    '{()}

tests/pos-macros/i11835/Y.scala

@@ -0,0 +1,3 @@
+object Y:
+  X.blah(true) // ok
+  X.blah()     // error