test/pending/run/reify_newimpl_09c.scala


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

import scala.reflect.runtime.universe._
import scala.tools.reflect.ToolBox
import scala.tools.reflect.Eval

object Test extends App {
  {
    def foo[W] = {
      type U = W
      type T = U
      reify {
        List[T](2)
      }
    }
    val code = foo[Int]
    println(code.tree.freeTypes)
    val W = code.tree.freeTypes(2)
    cm.mkToolBox().eval(code.tree, Map(W -> definitions.IntTpe))
    println(code.eval)
  }
}