Broken inline accessor on package

[nicolasstucki]

Compiler version

3.1, 3.2, 3.3

Minimized code

package mono

trait C
private[mono] object Focus:
  import internals.FocusImpl
  class MkFocus[From]:
    transparent inline def apply[To](inline f: C ?=> From => To): Any =
      ${ FocusImpl('f) }

package internals {
  import scala.quoted.*

  private[mono] object FocusImpl:
    def apply[From: Type, To: Type](f: Expr[C ?=> From => To])(using Quotes): Expr[Any] =
      ???
}

Output

[[syntax trees at end of                     typer]] // t/Test.scala
...
def inline$FocusImpl$i1(x$0: mono.internals): mono.internals.FocusImpl =
        x$0.FocusImpl
...

Expectation

We should not add the parameter that abstracts over the package.