1 files changed, 29 insertions, 0 deletions
diff --git a/src/library/scala/reflect/base/TagInterop.scala b/src/library/scala/reflect/base/TagInterop.scala
new file mode 100644
index 0000000000..0ec4d06a6c
--- /dev/null
+++ b/src/library/scala/reflect/base/TagInterop.scala
@@ -0,0 +1,29 @@
+package scala.reflect
+package base
+
+import scala.runtime.ScalaRunTime._
+
+trait TagInterop { self: Universe =>
+  def arrayTagToClassManifest[T](tag: ArrayTag[T]): ClassManifest[T] = {
+    val erasure = arrayElementClass(tag)
+    if (erasure.isArray) {
+      val elementClass = arrayElementClass(erasure)
+      val elementManifest = arrayTagToClassManifest(ClassTag(elementClass))
+      ClassManifest.arrayType(elementManifest).asInstanceOf[ClassManifest[T]]
+    } else {
+      ClassManifest.fromClass(erasure.asInstanceOf[Class[T]])
+    }
+  }
+
+  // [Eugene++] `mirror` parameters are now of type `Any`, because I can't make these path-dependent types work
+  // if you're brave enough, replace `Any` with `Mirror`, recompile and run interop_concretetypetags_are_manifests.scala
+
+  // [Eugene++] would be great if we could approximate the interop without any mirrors
+  // todo. think how to implement that
+
+  def concreteTypeTagToManifest[T: ClassTag](mirror: Any, tag: base.Universe # ConcreteTypeTag[T]): Manifest[T] =
+    throw new UnsupportedOperationException("This universe does not support tag -> manifest conversions. Use scala.reflect.runtime.universe from scala-reflect.jar.")
+
+  def manifestToConcreteTypeTag[T](mirror: Any, manifest: Manifest[T]): base.Universe # ConcreteTypeTag[T] =
+    throw new UnsupportedOperationException("This universe does not support manifest -> tag conversions. Use scala.reflect.runtime.universe from scala-reflect.jar.")
+}