Fix inline + export combination

Exported functions could be inline, but that did not work at all. This should
be fixed by this commit.

Author: odersky

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

@@ -1136,7 +1136,7 @@ class Namer { typer: Typer =>
               newSymbol(cls, forwarderName, mbrFlags, mbrInfo, coord = span)
 
           forwarder.info = avoidPrivateLeaks(forwarder)
-          forwarder.addAnnotations(sym.annotations)
+          forwarder.addAnnotations(sym.annotations.filterConserve(_.symbol != defn.BodyAnnot))
 
           if forwarder.isType then
             buf += tpd.TypeDef(forwarder.asType).withSpan(span)

tests/run/i14020.scala

@@ -1,12 +1,15 @@
 class A:
   def greeting(name: String = "you") = s"Hello $name"
 
+class A2:
+  inline def greeting(name: String = "you") = s"Hello $name"
+
 class B:
   val a = A()
   export a.*
 
 class C:
-  val a = A()
+  val a = A2()
   export a.greeting
 
 @main def Test =
@@ -27,6 +30,7 @@ class C:
 
   println(summon[String]) // error: I found: w.bark(/* missing */summon[String])
 
+
 class Dog:
   given bark(using msg: String = "Woof!"): String = s"bark: $msg"