Scala 具体化函数实现而不是引用

我需要得到lambda函数实现的AST。我被卡住了，因为具体化是针对论点的，而不是它的价值

val x = (a: Int) => println("a")
val t = showRaw(reify(thevalueof x)) //something here should change
println(t)

应打印：

Expr(Function(List(ValDef(Modifiers(PARAM), newTermName("a"), Ident(scala.Int), EmptyTree)), Apply(Select(Select(This(newTypeName("scala")), newTermName("Predef")), newTermName("println")), List(Literal(Constant("a"))))))

---

我想应该有一个关于splice之类的技巧，但我就是无法做到这一点。

目前没有可靠的方法在宏应用程序之外获取程序的AST（而reify是一个宏，因此它遵守相同的规则）。但是，我们正在试验下一代宏引擎，可能会解决此问题：