blob: 6bde36328e664ee3e84ac72caa1a5dd5bc65972e (
plain) (
blame)
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)
}
}
|