Regression macro between M3 and RC1 - transparent inline

Compiler version

This is an error we encountered when migrating Monocle from Scala 3.0.0-M3 to 3.0.0-RC1.

Here is the link to the build: https://github.com/optics-dev/Monocle/runs/1917837206

Minimized code

object GenPrism {
  transparent inline def apply[Source, Target <: Source] = 
    Focus[Source](_.as[Target])
}

object Focus {

  def apply[S] = new MkFocus[S]

  class MkFocus[From] {
    transparent inline def apply[To](inline lambda: (From => To)): Any = 
      ${ FocusImpl('lambda) }
  }
}

Output

[error] -- Error: /Users/julien/project/Monocle/macro/src/main/scala-3.x/monocle/macros/GenPrism.scala:8:22
[error] 8 |    Focus[Source](_.as[Target])
[error]   |                  ^^^^^^^^^^^^
[error]   |              class Nothing in package scala does not take type parameters
[error] -- Error: /Users/julien/project/Monocle/macro/src/main/scala-3.x/monocle/macros/GenPrism.scala:7:25
[error] 7 |  transparent inline def apply[Source, Target <: Source] =
[error]   |                         ^
[error]   |                         `transparent` can only be used for inline methods

Expectation

[julien-truffaut]

Thanks, I wasn’t sure how to minimise it. Though I don’t understand why it stopped working between M3 and RC1.

@smarter Thanks for pointing out the community build, I will look at adding Monocle

[smarter]

Can you open an issue with the as method present that reproduces the problem?