'export' fails on inlined methods

[edolgy]

object Foo:
  inline def get = 0

object Bar:
  export Foo._

val v = Bar.get  // Fails: method get is declared as erased, but is in fact used

[nicolasstucki]

The exported member gets tagged as inline but for some reason does not get inlined.

result of Foo.scala after typer:
package <empty> {
  final lazy module val Foo: Foo$ = new Foo$()
  final module class Foo$() extends Object(), _root_.scala.Serializable { 
    this: Foo.type =>
    inline def get: Int = 0:Int
  }
  final lazy module val Bar: Bar$ = new Bar$()
  final module class Bar$() extends Object(), _root_.scala.Serializable { 
    this: Bar.type =>
    final inline def get: Int = Foo.get
  }
  final lazy module val Foo$package: Foo$package$ = new Foo$package$()
  final module class Foo$package$() extends Object(), _root_.scala.Serializable
     {
   this: Foo$package.type =>
    val v: Int = Bar.get
  }
}

[nicolasstucki]

It looks like we don't generate a BodyAnnot for the export forwarder.