Macro in class with private implementation from companion object

[prolativ]

Compiler version

3.2.0-RC1-bin-20220607-76a0b29-NIGHTLY

Minimized code

//> using scala "3.2.0-RC1-bin-20220607-76a0b29-NIGHTLY"

import scala.quoted.*

class Macro:
  inline def foo = ${ Macro.fooImpl }

object Macro:
  private def fooImpl(using Quotes) = '{}

Output

[error] MalformedMacro.scala:6:23: Malformed macro.
[error] 
[error] Expected the splice ${...} to contain a single call to a static method.
[error]   inline def foo = ${ Macro.fooImpl }
[error]

Expectation

This seems wrong to me although I'm not sure what the correct behaviour should be as I see two options:

• Fix the error message (currently it doesn't say that a macro implementation cannot be private)
• Make this compile

Note that if the inline def is inside the object, everything compiles successfully:

import scala.quoted.*

object Macro:
  inline def foo = ${ Macro.fooImpl }
  private def fooImpl(using Quotes) = '{}

[nicolasstucki]

The inline accessor inline$fooImpl is generated in the wrong place. It should have been placed in the module. This is similar to #13215.

sbt:scala3> scalac Main.scala -Xprint:typer
-- Error: Main.scala:6:28 ------------------------------------------------------
6 |  inline def foo: Unit = ${ Macro.fooImpl }
  |                            ^^^^^^^^^^^^^
  |   Malformed macro.
  |
  |   Expected the splice ${...} to contain a single call to a static method.
[[syntax trees at end of                     typer]] // Main.scala
package <empty> {
  import scala.quoted.*
  class Macro() extends Object() {
    def foo: Unit
    final def inline$fooImpl(using x$1: quoted.Quotes): quoted.Expr[Unit] = 
      Macro.fooImpl(x$1)
  }
  final lazy module val Macro: Macro = new Macro()
  final module class Macro() extends Object() { this: Macro.type =>
    private[this] def fooImpl(using x$1: quoted.Quotes): quoted.Expr[Unit] = ???
  }
}