Phase inconsistency for quoted references

[nicolasstucki]

When inlining the following ff macro, the varargs args is lifted out into a val which breaks phase consistency as takes it out of a quote.

import scala.quoted._
object Macro {
  inline def ff(args: Any*): String = ~impl('(args))
  def impl(args: Expr[Seq[Any]]): Expr[String] = ""
}

object Test {
  def main(args: Array[String]): Unit = {
    val x = 5
    Macro.ff(x)
  }
}

When inlined the code is

/* inlined from Macro*/ 
  {
    val args: Any* = [x : Any]: Any*
    Macro.impl(<special-ops>.'[Seq[Any] @Repeated](args)).unary_~
  }

and interpreted as to heal some phase inconsistencies

/* inlined from Macro*/ 
  {
    val args: Any* = [x : Any]: Any*
    Macro.impl(<special-ops>.'[Seq[Any] @Repeated](args))
  }.unary_~

Tis fails due to the x wich should be ouside the unary_~ or inside the <special-ops>.'

[nicolasstucki]

This issue does not only happen with varargs.

import scala.quoted._
object Macro {
  inline def ff(x: Int): String = ~impl('(x))
  def impl(x: Expr[Int]): Expr[String] = ""
}

object Test {
  def main(args: Array[String]): Unit = {
    def x: Int = 5
    Macro.ff(x)
  }
}

Produces and fails for the same reason with

/* inlined from Macro*/ 
  {
    val x: Int = x
    Macro.impl(<special-ops>.'[Int](x)).unary_~
  }

interpreted as

/* inlined from Macro*/ 
  {
    val x: Int = x
    Macro.impl(<special-ops>.'[Int](x))
  }.unary_~