test/files/run/macro-default-params/Macros_1.scala


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27

import scala.language.experimental.macros
import scala.reflect.macros.WhiteboxContext

object Macros {
  def id[A]: A = null.asInstanceOf[A]

  def foo: Any = macro impl
  def impl(c: WhiteboxContext): c.Tree = {
    import c.universe._
    import Flag._

    lazy val tpe = TypeTree(typeOf[Int])

    /* If we used this line instead, it would work! */
    // lazy val tpe = tq"Int"

    lazy val param: ValDef = {
      val p1 = q"val a: ${tpe.duplicate} = Macros.id[${tpe.duplicate}]"
      ValDef(Modifiers(DEFAULTPARAM), p1.name, p1.tpt, p1.rhs)
    }

    q"""
      class C { def f($param) = a }
      println(new C().f())
    """
  }
}