Exported inline does not generate inline accessors to exported path

[bishabosha]

Compiler Version

3.1.2-bin-SNAPSHOT @ b3ab102

Minimised Example

class Dog:
  inline given bark(using msg: String = "Woof!"): String = s"bark: $msg"

class Wolf:
  private val dog: Dog = Dog()
  export dog.given

val w = Wolf()
import w.given
summon[String]

Output

-- Error: ----------------------------------------------------------------------
31 |summon[String]
   |              ^
   |value dog cannot be accessed as a member of (Wolf_this : (w : Wolf)) from module class i14020$package$.
   | This location contains code that was inlined from i14020.scala:39
1 error found

Expectation

no error

Originally posted by @bishabosha in #14051 (comment)

[nicolasstucki]

Minimized

class Dog:
  inline def bark: String = "bark: Woof!"

class Wolf:
  private val dog: Dog = Dog()
  export dog.bark

def test = Wolf().bark

[nicolasstucki]

We are missing the generation of an inline accessor for dog when we create the exported method.

class Wolf:
  private val dog: Dog = Dog()
  export dog.bark

after typer is

  class Wolf() extends Object() {
    private[this] val dog: Dog = new Dog()
    export this.dog.bark
    final inline def bark: String = this.dog.bark
  }

but we want the equivalent of

class Wolf:
  private val dog: Dog = Dog()
  inline def bark: String = dog.bark

which after typer is

  class Wolf() extends Object() {
    private[this] val dog: Dog = new Dog()
    inline def bark: String = this.inline$dog.bark:String
    def inline$dog: Dog = this.dog
  }

We are probably missing a call to PrepareInlineable.makeInlineable when generating the export method

[nicolasstucki]

If we change the following code it example compiles but does not pass Ycheck because the inline accessor is not properly added to the class.
https://github.com/lampepfl/dotty/blob/400427db21410b366e4d9b890d73cec15416b632/compiler/src/dotty/tools/dotc/typer/Namer.scala#L1184-L1185

- PrepareInlineable.registerInlineInfo(forwarder, ddef.rhs)
+ PrepareInlineable.registerInlineInfo(forwarder, ddef.rhs)(using ctx.withOwner(forwarder))