test/files/run/t6591_2.scala


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

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

trait O { trait I }

class A extends O {
  val impl = new I {}
}

object Test extends App {
  val code = reify {
    val v: A#I = (new A).impl
    v
  }
  println(showRaw(code.tree))

  val v: A#I = code.eval
}