Retain default parameters with export

compiler/src/dotty/tools/dotc/core/Flags.scala

@@ -535,6 +535,9 @@ object Flags {
   /** Flags retained in term export forwarders */
   val RetainedExportTermFlags = Infix | Given | Implicit | Inline | Transparent | Erased | HasDefaultParams | NoDefaultParams | ExtensionMethod
 
+  /** Flags retained in parameters of term export forwarders */
+  val RetainedExportTermParamFlags = Given | Implicit | Erased | HasDefault | Inline
+
   val MandatoryExportTermFlags = Exported | Method | Final
 
   /** Flags retained in type export forwarders */

compiler/src/dotty/tools/dotc/typer/Namer.scala

@@ -1293,14 +1293,16 @@ class Namer { typer: Typer =>
                 getter => addForwarder(
                   getter.name.asTermName, getter.asSeenFrom(path.tpe), span))
 
-            // adding annotations at the parameter level
+            // adding annotations and flags at the parameter level
             // TODO: This probably needs to be filtered to avoid adding some annotation
             // such as MacroAnnotations
             if sym.is(Method) then
               for (orig, forwarded) <- sym.paramSymss.lazyZip(forwarder.paramSymss)
                   (origParameter, exportedParameter) <- orig.lazyZip(forwarded)
               do
                 exportedParameter.addAnnotations(origParameter.annotations)
+                if exportedParameter.isTerm then
+                  exportedParameter.setFlag(origParameter.flags & RetainedExportTermParamFlags)
       end addForwarder
 
       def addForwardersNamed(name: TermName, alias: TermName, span: Span): Unit =

tests/pos/export-param-flags/A_1.scala

@@ -0,0 +1,5 @@
+object A:
+  def defaultParam(x: Int = 1) = x
+
+object Exported:
+  export A.*

tests/pos/export-param-flags/B_2.scala

@@ -0,0 +1,2 @@
+object B:
+  val x = Exported.defaultParam()

tests/printing/export-param-flags.check

@@ -0,0 +1,13 @@
+[[syntax trees at end of                     typer]] // tests/printing/export-param-flags.scala
+package <empty> {
+  final lazy module val A: A = new A()
+  final module class A() extends Object() { this: A.type =>
+    inline def inlinedParam(inline x: Int): Int = x.+(x):Int
+  }
+  final lazy module val Exported: Exported = new Exported()
+  final module class Exported() extends Object() { this: Exported.type =>
+    export A.*
+    final inline def inlinedParam(inline x: Int): Int = A.inlinedParam(x)
+  }
+}
+

tests/printing/export-param-flags.scala

@@ -0,0 +1,5 @@
+object A:
+  inline def inlinedParam(inline x: Int): Int = x + x
+
+object Exported:
+  export A.*