inline val/defs can't be used when calling a quotes fn

[japgolly]

Compiler version

This used to work in RC1. It fails in RC2 and RC3.

Minimized code

import scala.quoted.*

def qqq(s: String)(using Quotes): Expr[Unit] = '{()}

inline val InlineVal = "i"
inline def InlineDef = "i"

inline def withInlineVal = ${ qqq(InlineVal) }
inline def withInlineDef = ${ qqq(InlineDef) }
inline def withString    = ${ qqq("i") }

Output

[error] -- Error: x.scala:8:34 --------------
[error] 8 |inline def withInlineVal = ${ qqq(InlineVal) }
[error]   |                                  ^^^^^^^^^
[error]   |                                  Malformed macro parameter
[error]   |
[error]   |                                  Parameters may only be:
[error]   |                                   * Quoted parameters or fields
[error]   |                                   * Literal values of primitive types
[error] -- Error: x.scala:9:34 --------------
[error] 9 |inline def withInlineDef = ${ qqq(InlineDef) }
[error]   |                                  ^^^^^^^^^
[error]   |                                  Malformed macro parameter
[error]   |
[error]   |                                  Parameters may only be:
[error]   |                                   * Quoted parameters or fields
[error]   |                                   * Literal values of primitive types
[error] two errors found

Expectation

Compilation.

[nicolasstucki]

This was restricted on purpose. We want to avoid inlining arbitrary code within the splice. All that code must be interpreted by a simple AST interpreter which is not fast compared with macro implementation that gets called. It is also impossible to impossible to implement an interpreter on the JVM that supports the full language.

It might be possible to support inline val only.

[odersky]

I think inline val should be supported. That seems counter-intuitive that we cannot abstract a constant.

[odersky]

Also, since it is a regression, we should classify it as a bug.