SI-5841 reification of renamed imports

Reification of renamed imports is done by catching Selects with name != their tree.symbol.name,
replacing this name with tree.symbol.name, and then doing reifyProduct in case
of renamed terms and reifyBoundType (inner) in case of renamed types.

1 files changed, 21 insertions, 0 deletions

diff --git a/test/files/run/reify_renamed_type_spliceable.scala b/test/files/run/reify_renamed_type_spliceable.scala
new file mode 100644
index 0000000000..9c2cff5199
--- /dev/null
+++ b/test/files/run/reify_renamed_type_spliceable.scala
@@ -0,0 +1,21 @@
+import scala.reflect.runtime.universe._
+import scala.tools.reflect.Eval
+
+abstract class C {
+  type T >: Null
+}
+
+object Test extends App {
+  def foo(c: C) = {
+    import c.{T => U}
+    reify {
+      val x: U = null
+    }
+  }
+
+  val expr = foo(new C {
+    type T = AnyRef
+  })
+
+  println(expr.eval)
+}
\ No newline at end of file