Regression since 3.0.0-M3: Issue with inlining in transparent macros

Compiler version

3.0.0-RC3

Minimized code

object TransparentMacro:
    transparent inline def apply(inline n: Int): Any = ${applyImpl('n)}
    
    def applyImpl(n: Expr[Int])(using Quotes): Expr[Any] = if n.valueOrError > 0 then n else Expr("negative")

// In other file
object Test extends App:
   inline def x = -5
   println(TransparentMacro(x))

Output

Compilation error:

|Expected a known value. 
[error]    |
[error]    |The value of: com.example.Test.x
[error]    |could not be extracted using scala.quoted.FromExpr$PrimitiveFromExpr@4eae616
[error]    | This location contains code that was inlined from Test.scala:23

Expectation

The above code compiles in 3.0.0-M3. It should also compile in 3.0.0-RC3.

[jorge-vasquez-2301]

Ahhh, wasn’t aware of that, and yeah, it works with transparent inline def x = -5. Well, thanks a lot for your help!

[liufengyun]

And also, inline def x = -5 works if I define TransparentMacro.apply just as inline def instead of transparent inline def

That explains it: transparent inline are expanded in an earlier phase. Thus at the time when expanding apply, x is not yet inlined. If you add transparent to inline def x = -5, it may work as well.