Child class cannot access exported inline methods from parent class

[mushtaq]

Compiler version

3.2.1

Minimized code

//> using scala "3.2.1"

class Context {
  def normalMethod(): String = "normal"
  inline def inlineMethod(): String = "inline"
}

class Script(ctx: Context) {
  export ctx.*
  normalMethod() // works
  inlineMethod() // works
}

class MyScript(context: Context) extends Script(context) {
  normalMethod() // works
  inlineMethod() // error
}

Output

Compiling project (Scala 3.2.1, JVM)
[error] ./scala/inline-export-inherit.sc:16:3: ctx cannot be accessed as a member of (Script_this : (MyScript.this : inline-export-inherit.MyScript)) from class MyScript.
[error]   inlineMethod() // error
[error]   ^^^^^^^^^^^^^^

Expectation

It should compile unless the restriction is intentional. In that case, the reason should be mentioned in the docs.

Making ctx a val in Script constructor makes it compile.

[WojciechMazur]

It seemed to work until Scala 3.1.2
Bisect points to b3ab102 - @bishabosha backported there changes made by @odersky in #14051

[nicolasstucki]

The export generates the inlineMethod in Script

fianl inline def inlineMethod(): String = Script.this.ctx.inlineMethod()

If we define this method manually we see that it becomes

final inline def inlineMethod(): String = this.Script$$inline$ctx.inlineMethod():String
final def Script$$inline$ctx: Context = Script.this.ctx

This implies that when we generate the exports, we are not transforming the contents of the inline export accessor with PrepareInlineable or we are doing it wrong.

[nicolasstucki]

We probably do something wrong here. Maybe we use the wrong context or the transformation is discarded.

[nicolasstucki]

Half of the issue is that we need to call registerInlineInfo setting the forwarder as the context owner. The second thing is to add the inline accessors to the class.