assertion failed: unresolved symbols: parameter v when pickling

[kubukoz]

Compiler version

3.2.1

Minimized code

//> using scala "3.2.1"
import scala.quoted.Expr
import scala.quoted.Type
import scala.quoted.quotes
import scala.quoted.Quotes

object macros {

  inline transparent def mkNames[A]: List[Any] = ${ mkNamesImpl[A] }

  def mkNamesImpl[A: Type](using Quotes): Expr[List[Any]] = {
    import quotes.reflect._

    val fieldNames = TypeRepr.of[A].typeSymbol.declaredFields.map(_.name)

    val types = fieldNames
      .map { f =>
        val t1 = ConstantType(StringConstant(f))
        t1.asType match {
          case '[t1Type] => TypeRepr.of[(t1Type, "aa")]
        }
      }
      .reduceLeft[TypeRepr](OrType(_, _))

    types.asType match {
      case '[ttt] =>
        Expr.ofList[ttt](
          fieldNames.map { v =>
            Expr[(v.type, "aa")](v -> "aa").asExprOf[ttt]
          }
        )
    }
  }

}

Output (click arrow to expand)

Error compiling project (Scala 3.2.1, JVM)
Error: Unexpected error when compiling project_f0e8bc45bf: 'assertion failed: unresolved symbols: parameter v (line 27) #18316 when pickling /Users/kubukoz/projects/demos/macros.scala'
Compilation failed

[jchyb]

Minimized:

import scala.quoted._

object macros {

  inline transparent def mkNames: Unit = ${ mkNamesImpl }

  def mkNamesImpl(using Quotes): Expr[Unit] = {
    val v = "name"
    Expr[(v.type, "aa")](v -> "aa")
    '{()}
  }

}

[kubukoz]

thank you :)

[nicolasstucki]

Minimized further

import scala.quoted._
def mkNamesImpl(v: String)(using Quotes): Expr[Any] =
  // Type.of[Option[v.type]] // error: access to parameter v from wrong staging level // this is OK
  val _: Type[Option[v.type]] = Type.of // issue: access to parameter v from wrong staging level not found in inferred type
  ???

[nicolasstucki]

Minimal

import scala.quoted._
def test(v: String)(using Quotes): Type[v.type] = Type.of