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, 24 insertions, 0 deletions

diff --git a/test/files/run/reify_renamed_type_local_to_reifee.scala b/test/files/run/reify_renamed_type_local_to_reifee.scala
new file mode 100644
index 0000000000..ed1bad239e
--- /dev/null
+++ b/test/files/run/reify_renamed_type_local_to_reifee.scala
@@ -0,0 +1,24 @@
+import scala.reflect.runtime.universe._
+import scala.tools.reflect.Eval
+
+object O {
+  type A = Unit
+}
+
+object Test extends App {
+  val expr = reify {
+    import O.{A => X}
+
+    val a: X = ()
+
+    object P {
+      type B = Unit
+    }
+
+    import P.{B => Y}
+
+    val b: Y = ()
+  }
+
+  println(expr.eval)
+}
\ No newline at end of file