interop between manifests and tags

33 files changed, 320 insertions, 2 deletions

diff --git a/src/compiler/scala/reflect/internal/StdNames.scala b/src/compiler/scala/reflect/internal/StdNames.scala
index 4ce6afe1f3..a55efea2e6 100644
--- a/src/compiler/scala/reflect/internal/StdNames.scala
+++ b/src/compiler/scala/reflect/internal/StdNames.scala
@@ -564,6 +564,7 @@ trait StdNames {
     val argv : NameType                = "argv"
     val arrayClass: NameType           = "arrayClass"
     val arrayElementClass: NameType    = "arrayElementClass"
+    val arrayTagToClassManifest: NameType = "arrayTagToClassManifest"
     val arrayValue: NameType           = "arrayValue"
     val array_apply : NameType         = "array_apply"
     val array_clone : NameType         = "array_clone"
@@ -581,6 +582,7 @@ trait StdNames {
     val checkInitialized: NameType     = "checkInitialized"
     val classOf: NameType              = "classOf"
     val clone_ : NameType              = if (forMSIL) "MemberwiseClone" else "clone" // sn.OClone causes checkinit failure
+    val concreteTypeTagToManifest: NameType = "concreteTypeTagToManifest"
     val conforms: NameType             = "conforms"
     val copy: NameType                 = "copy"
     val definitions: NameType          = "definitions"
@@ -629,6 +631,7 @@ trait StdNames {
     val macroContext : NameType        = "c"
     val main: NameType                 = "main"
     val manifest: NameType             = "manifest"
+    val manifestToConcreteTypeTag: NameType = "manifestToConcreteTypeTag"
     val map: NameType                  = "map"
     val materializeArrayTag: NameType  = "materializeArrayTag"
     val materializeClassTag: NameType  = "materializeClassTag"
diff --git a/src/compiler/scala/tools/nsc/typechecker/Implicits.scala b/src/compiler/scala/tools/nsc/typechecker/Implicits.scala
index fadb691cb6..1612253dd6 100644
--- a/src/compiler/scala/tools/nsc/typechecker/Implicits.scala
+++ b/src/compiler/scala/tools/nsc/typechecker/Implicits.scala
@@ -1265,7 +1265,16 @@ trait Implicits {
           }
       }
 
-      mot(tp, Nil, Nil)
+      val tagInScope =
+        if (full) context.withMacrosDisabled(resolveTypeTag(pos, ReflectMirrorPrefix.tpe, tp, true))
+        else context.withMacrosDisabled(resolveArrayTag(pos, tp))
+      if (tagInScope.isEmpty) mot(tp, Nil, Nil)
+      else {
+        val interop =
+          if (full) gen.mkMethodCall(ReflectPackage, nme.concreteTypeTagToManifest, List(tp), List(tagInScope))
+          else gen.mkMethodCall(ReflectPackage, nme.arrayTagToClassManifest, List(tp), List(tagInScope))
+        wrapResult(interop)
+      }
     }
 
     def wrapResult(tree: Tree): SearchResult =
diff --git a/src/library/scala/reflect/DummyMirror.scala b/src/library/scala/reflect/DummyMirror.scala
index 276237fce4..f40531e856 100644
--- a/src/library/scala/reflect/DummyMirror.scala
+++ b/src/library/scala/reflect/DummyMirror.scala
@@ -500,6 +500,7 @@ class DummyMirror(cl: ClassLoader) extends api.Mirror {
     type TreeGenTree = global.Tree
     type TreeGenType = global.Type
     type TreeGenSymbol = global.Symbol
+    type TreeGenName = global.Name
     def mkAttributedQualifier(tpe: TreeGenType): TreeGenTree = notSupported()
     def mkAttributedQualifier(tpe: TreeGenType, termSym: TreeGenSymbol): TreeGenTree = notSupported()
     def mkAttributedRef(pre: TreeGenType, sym: TreeGenSymbol): TreeGenTree = notSupported()
@@ -507,6 +508,14 @@ class DummyMirror(cl: ClassLoader) extends api.Mirror {
     def mkAttributedThis(sym: TreeGenSymbol): TreeGenTree = notSupported()
     def mkAttributedIdent(sym: TreeGenSymbol): TreeGenTree = notSupported()
     def mkAttributedSelect(qual: TreeGenTree, sym: TreeGenSymbol): TreeGenTree = notSupported()
+    def mkMethodCall(target: TreeGenTree,targs: List[TreeGenType],args: List[TreeGenTree]): TreeGenTree = notSupported()
+    def mkMethodCall(receiver: TreeGenTree,method: TreeGenSymbol,targs: List[TreeGenType],args: List[TreeGenTree]): TreeGenTree = notSupported()
+    def mkMethodCall(receiver: TreeGenSymbol,methodName: TreeGenName,args: List[TreeGenTree]): TreeGenTree = notSupported()
+    def mkMethodCall(target: TreeGenTree,args: List[TreeGenTree]): TreeGenTree = notSupported()
+    def mkMethodCall(method: TreeGenSymbol,args: List[TreeGenTree]): TreeGenTree = notSupported()
+    def mkMethodCall(method: TreeGenSymbol,targs: List[TreeGenType],args: List[TreeGenTree]): TreeGenTree = notSupported()
+    def mkMethodCall(receiver: TreeGenSymbol,methodName: TreeGenName,targs: List[TreeGenType],args: List[TreeGenTree]): TreeGenTree = notSupported()
+    def mkNullaryCall(method: TreeGenSymbol,targs: List[TreeGenType]): TreeGenTree = notSupported()
   }
 
   // Members declared in scala.reflect.api.TreePrinters
diff --git a/src/library/scala/reflect/TagInterop.scala b/src/library/scala/reflect/TagInterop.scala
new file mode 100644
index 0000000000..6c6bfcc2f2
--- /dev/null
+++ b/src/library/scala/reflect/TagInterop.scala
@@ -0,0 +1,34 @@
+package scala.reflect
+
+import scala.runtime.ScalaRunTime._
+import mirror._
+import definitions._
+
+object TagInterop {
+  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]])
+    }
+  }
+
+  def concreteTypeTagToManifest[T](tag: ConcreteTypeTag[T]): Manifest[T] = {
+    // todo. reproduce manifest generation code here. toolboxes are too slow.
+    val implicitly = PredefModule.typeSignature.member(newTermName("implicitly"))
+    val taggedTpe = appliedType(staticClass("scala.reflect.Manifest").asTypeConstructor, List(tag.tpe))
+    val materializer = TypeApply(Ident(implicitly), List(TypeTree(taggedTpe)))
+    try mkToolBox().runExpr(materializer).asInstanceOf[Manifest[T]]
+    catch { case ex: Throwable => Manifest.classType(tag.erasure).asInstanceOf[Manifest[T]] }
+  }
+
+  def manifestToConcreteTypeTag[T](tag: Manifest[T]): ConcreteTypeTag[T] = {
+    val tpe =
+      if (tag.typeArguments.isEmpty) classToType(tag.erasure)
+      else appliedType(classToType(tag.erasure).typeConstructor, tag.typeArguments map (manifestToConcreteTypeTag(_)) map (_.tpe))
+    ConcreteTypeTag(tpe, tag.erasure)
+  }
+}
\ No newline at end of file
diff --git a/src/library/scala/reflect/api/TreeBuildUtil.scala b/src/library/scala/reflect/api/TreeBuildUtil.scala
index 4f510337c2..87790b3812 100644
--- a/src/library/scala/reflect/api/TreeBuildUtil.scala
+++ b/src/library/scala/reflect/api/TreeBuildUtil.scala
@@ -138,4 +138,22 @@ trait AbsTreeGen {
 
   /** Builds a typed Select with an underlying symbol. */
   def mkAttributedSelect(qual: Tree, sym: Symbol): Tree
+
+  /** A creator for method calls, e.g. fn[T1, T2, ...](v1, v2, ...)
+   *  There are a number of variations.
+   *
+   *  @param    receiver    symbol of the method receiver
+   *  @param    methodName  name of the method to call
+   *  @param    targs       type arguments (if Nil, no TypeApply node will be generated)
+   *  @param    args        value arguments
+   *  @return               the newly created trees.
+   */
+  def mkMethodCall(receiver: Symbol, methodName: Name, targs: List[Type], args: List[Tree]): Tree
+  def mkMethodCall(method: Symbol, targs: List[Type], args: List[Tree]): Tree
+  def mkMethodCall(method: Symbol, args: List[Tree]): Tree
+  def mkMethodCall(target: Tree, args: List[Tree]): Tree
+  def mkMethodCall(receiver: Symbol, methodName: Name, args: List[Tree]): Tree
+  def mkMethodCall(receiver: Tree, method: Symbol, targs: List[Type], args: List[Tree]): Tree
+  def mkMethodCall(target: Tree, targs: List[Type], args: List[Tree]): Tree
+  def mkNullaryCall(method: Symbol, targs: List[Type]): Tree
 }
diff --git a/src/library/scala/reflect/makro/internal/Utils.scala b/src/library/scala/reflect/makro/internal/Utils.scala
index a8a2c98715..3af58e1c88 100644
--- a/src/library/scala/reflect/makro/internal/Utils.scala
+++ b/src/library/scala/reflect/makro/internal/Utils.scala
@@ -97,12 +97,22 @@ package internal {
             val ref = if (tagModule.owner.isPackageClass) Ident(tagModule) else Select(prefix, tagModule.name)
             Select(ref, coreTags(coreTpe))
           case _ =>
-            translatingReificationErrors(materializer)
+            val manifestInScope = nonSyntheticManifestInScope(tpe)
+            if (manifestInScope.isEmpty) translatingReificationErrors(materializer)
+            else gen.mkMethodCall(staticModule("scala.reflect.package"), newTermName("manifestToConcreteTypeTag"), List(tpe), List(manifestInScope))
         }
       try c.typeCheck(result)
       catch { case terr @ c.TypeError(pos, msg) => failTag(terr) }
     }
 
+    private def nonSyntheticManifestInScope(tpe: Type) = {
+      val ManifestClass = staticClass("scala.reflect.Manifest")
+      val ManifestModule = staticModule("scala.reflect.Manifest")
+      val manifest = c.inferImplicitValue(appliedType(ManifestClass.asTypeConstructor, List(tpe)))
+      val notOk = manifest.isEmpty || (manifest exists (sub => sub.symbol != null && (sub.symbol == ManifestModule || sub.symbol.owner == ManifestModule)))
+      if (notOk) EmptyTree else manifest
+    }
+
     def materializeExpr(prefix: Tree, expr: Tree): Tree = {
       val result = translatingReificationErrors(c.reifyTree(prefix, expr))
       try c.typeCheck(result)
diff --git a/src/library/scala/reflect/package.scala b/src/library/scala/reflect/package.scala
index 0e6350183f..38a144cd49 100644
--- a/src/library/scala/reflect/package.scala
+++ b/src/library/scala/reflect/package.scala
@@ -63,4 +63,8 @@ package object reflect {
   // ClassTag object is defined separately from the mirror
   lazy val TypeTag         = scala.reflect.mirror.TypeTag
   lazy val ConcreteTypeTag = scala.reflect.mirror.ConcreteTypeTag
+
+  def arrayTagToClassManifest[T](tag: ArrayTag[T]): ClassManifest[T] = TagInterop.arrayTagToClassManifest[T](tag)
+  def concreteTypeTagToManifest[T](tag: ConcreteTypeTag[T]): Manifest[T] = TagInterop.concreteTypeTagToManifest[T](tag)
+  def manifestToConcreteTypeTag[T](tag: Manifest[T]): ConcreteTypeTag[T] = TagInterop.manifestToConcreteTypeTag[T](tag)
 }
diff --git a/test/files/neg/interop_classmanifests_arenot_concretetypetags.check b/test/files/neg/interop_classmanifests_arenot_concretetypetags.check
new file mode 100644
index 0000000000..d6fa564df4
--- /dev/null
+++ b/test/files/neg/interop_classmanifests_arenot_concretetypetags.check
@@ -0,0 +1,4 @@
+interop_classmanifests_arenot_concretetypetags.scala:3: error: No ConcreteTypeTag available for T

+    println(concreteTypeTag[T])

+                           ^

+one error found

diff --git a/test/files/neg/interop_classmanifests_arenot_concretetypetags.scala b/test/files/neg/interop_classmanifests_arenot_concretetypetags.scala
new file mode 100644
index 0000000000..5b1ed55e47
--- /dev/null
+++ b/test/files/neg/interop_classmanifests_arenot_concretetypetags.scala
@@ -0,0 +1,9 @@
+object Test extends App {
+  def classManifestIsnotConcreteTypeTag[T: ClassManifest] = {
+    println(concreteTypeTag[T])
+  }
+
+  classManifestIsnotConcreteTypeTag[Int]
+  classManifestIsnotConcreteTypeTag[String]
+  classManifestIsnotConcreteTypeTag[Array[Int]]
+}
\ No newline at end of file
diff --git a/test/files/neg/interop_classtags_arenot_manifests.check b/test/files/neg/interop_classtags_arenot_manifests.check
new file mode 100644
index 0000000000..95f6a94d4b
--- /dev/null
+++ b/test/files/neg/interop_classtags_arenot_manifests.check
@@ -0,0 +1,7 @@
+interop_classtags_arenot_manifests.scala:3: error: No Manifest available for T.

+    println(manifest[T])

+                    ^

+interop_classtags_arenot_manifests.scala:11: error: No Manifest available for T.

+    println(manifest[T])

+                    ^

+two errors found

diff --git a/test/files/neg/interop_classtags_arenot_manifests.scala b/test/files/neg/interop_classtags_arenot_manifests.scala
new file mode 100644
index 0000000000..7351f7e305
--- /dev/null
+++ b/test/files/neg/interop_classtags_arenot_manifests.scala
@@ -0,0 +1,17 @@
+object Test extends App {
+  def arrayTagIsnotManifest[T: ArrayTag] = {
+    println(manifest[T])
+  }
+
+  arrayTagIsnotManifest[Int]
+  arrayTagIsnotManifest[String]
+  arrayTagIsnotManifest[Array[Int]]
+
+  def classTagIsnotManifest[T: ClassTag] = {
+    println(manifest[T])
+  }
+
+  classTagIsnotManifest[Int]
+  classTagIsnotManifest[String]
+  classTagIsnotManifest[Array[Int]]
+}
\ No newline at end of file
diff --git a/test/files/neg/interop_erasuretags_arenot_classmanifests.check b/test/files/neg/interop_erasuretags_arenot_classmanifests.check
new file mode 100644
index 0000000000..4bb81108d1
--- /dev/null
+++ b/test/files/neg/interop_erasuretags_arenot_classmanifests.check
@@ -0,0 +1,4 @@
+interop_erasuretags_arenot_classmanifests.scala:3: error: could not find implicit value for parameter m: ClassManifest[T]

+    println(classManifest[T])

+                         ^

+one error found

diff --git a/test/files/neg/interop_erasuretags_arenot_classmanifests.scala b/test/files/neg/interop_erasuretags_arenot_classmanifests.scala
new file mode 100644
index 0000000000..cf7d1ac257
--- /dev/null
+++ b/test/files/neg/interop_erasuretags_arenot_classmanifests.scala
@@ -0,0 +1,9 @@
+object Test extends App {
+  def erasureTagIsnotClassManifest[T: ErasureTag] = {
+    println(classManifest[T])
+  }
+
+  erasureTagIsnotClassManifest[Int]
+  erasureTagIsnotClassManifest[String]
+  erasureTagIsnotClassManifest[Array[Int]]
+}
\ No newline at end of file
diff --git a/test/files/neg/interop_erasuretags_arenot_manifests.check b/test/files/neg/interop_erasuretags_arenot_manifests.check
new file mode 100644
index 0000000000..da3c03d371
--- /dev/null
+++ b/test/files/neg/interop_erasuretags_arenot_manifests.check
@@ -0,0 +1,4 @@
+interop_erasuretags_arenot_manifests.scala:3: error: No Manifest available for T.

+    println(manifest[T])

+                    ^

+one error found

diff --git a/test/files/neg/interop_erasuretags_arenot_manifests.scala b/test/files/neg/interop_erasuretags_arenot_manifests.scala
new file mode 100644
index 0000000000..5c326549d8
--- /dev/null
+++ b/test/files/neg/interop_erasuretags_arenot_manifests.scala
@@ -0,0 +1,9 @@
+object Test extends App {
+  def erasureTagIsnotManifest[T: ErasureTag] = {
+    println(manifest[T])
+  }
+
+  erasureTagIsnotManifest[Int]
+  erasureTagIsnotManifest[String]
+  erasureTagIsnotManifest[Array[Int]]
+}
\ No newline at end of file
diff --git a/test/files/neg/interop_typetags_arenot_classmanifests.check b/test/files/neg/interop_typetags_arenot_classmanifests.check
new file mode 100644
index 0000000000..9ed4fd43d4
--- /dev/null
+++ b/test/files/neg/interop_typetags_arenot_classmanifests.check
@@ -0,0 +1,4 @@
+interop_typetags_arenot_classmanifests.scala:3: error: could not find implicit value for parameter m: ClassManifest[T]

+    println(classManifest[T])

+                         ^

+one error found

diff --git a/test/files/neg/interop_typetags_arenot_classmanifests.scala b/test/files/neg/interop_typetags_arenot_classmanifests.scala
new file mode 100644
index 0000000000..b1fbb7b5a6
--- /dev/null
+++ b/test/files/neg/interop_typetags_arenot_classmanifests.scala
@@ -0,0 +1,9 @@
+object Test extends App {
+  def typeTagIsnotClassManifest[T: TypeTag] = {
+    println(classManifest[T])
+  }
+
+  typeTagIsnotClassManifest[Int]
+  typeTagIsnotClassManifest[String]
+  typeTagIsnotClassManifest[Array[Int]]
+}
\ No newline at end of file
diff --git a/test/files/neg/interop_typetags_arenot_manifests.check b/test/files/neg/interop_typetags_arenot_manifests.check
new file mode 100644
index 0000000000..7761a747ff
--- /dev/null
+++ b/test/files/neg/interop_typetags_arenot_manifests.check
@@ -0,0 +1,4 @@
+interop_typetags_arenot_manifests.scala:3: error: No Manifest available for T.

+    println(manifest[T])

+                    ^

+one error found

diff --git a/test/files/neg/interop_typetags_arenot_manifests.scala b/test/files/neg/interop_typetags_arenot_manifests.scala
new file mode 100644
index 0000000000..4e2a04489b
--- /dev/null
+++ b/test/files/neg/interop_typetags_arenot_manifests.scala
@@ -0,0 +1,9 @@
+object Test extends App {
+  def typeTagIsnotManifest[T: TypeTag] = {
+    println(manifest[T])
+  }
+
+  typeTagIsnotManifest[Int]
+  typeTagIsnotManifest[String]
+  typeTagIsnotManifest[Array[Int]]
+}
\ No newline at end of file
diff --git a/test/files/run/interop_classmanifests_arepartially_typetags.check b/test/files/run/interop_classmanifests_arepartially_typetags.check
new file mode 100644
index 0000000000..3dfcdccbec
--- /dev/null
+++ b/test/files/run/interop_classmanifests_arepartially_typetags.check
@@ -0,0 +1,6 @@
+T

+int

+T

+class java.lang.String

+T

+class [I

diff --git a/test/files/run/interop_classmanifests_arepartially_typetags.scala b/test/files/run/interop_classmanifests_arepartially_typetags.scala
new file mode 100644
index 0000000000..9bc1f32e86
--- /dev/null
+++ b/test/files/run/interop_classmanifests_arepartially_typetags.scala
@@ -0,0 +1,10 @@
+object Test extends App {
+  def classManifestIspartiallyTypeTag[T: ClassManifest] = {
+    println(typeTag[T].tpe)
+    println(typeTag[T].erasure)
+  }
+
+  classManifestIspartiallyTypeTag[Int]
+  classManifestIspartiallyTypeTag[String]
+  classManifestIspartiallyTypeTag[Array[Int]]
+}
\ No newline at end of file
diff --git a/test/files/run/interop_classtags_are_classmanifests.check b/test/files/run/interop_classtags_are_classmanifests.check
new file mode 100644
index 0000000000..02393dff23
--- /dev/null
+++ b/test/files/run/interop_classtags_are_classmanifests.check
@@ -0,0 +1,6 @@
+Int

+java.lang.String

+Array[Int]

+Int

+java.lang.String

+Array[Int]

diff --git a/test/files/run/interop_classtags_are_classmanifests.scala b/test/files/run/interop_classtags_are_classmanifests.scala
new file mode 100644
index 0000000000..309c99a3f5
--- /dev/null
+++ b/test/files/run/interop_classtags_are_classmanifests.scala
@@ -0,0 +1,17 @@
+object Test extends App {
+  def arrayTagIsClassManifest[T: ArrayTag] = {
+    println(classManifest[T])
+  }
+
+  arrayTagIsClassManifest[Int]
+  arrayTagIsClassManifest[String]
+  arrayTagIsClassManifest[Array[Int]]
+
+  def classTagIsClassManifest[T: ClassTag] = {
+    println(classManifest[T])
+  }
+
+  classTagIsClassManifest[Int]
+  classTagIsClassManifest[String]
+  classTagIsClassManifest[Array[Int]]
+}
\ No newline at end of file
diff --git a/test/files/run/interop_concretetypetags_are_classmanifests.check b/test/files/run/interop_concretetypetags_are_classmanifests.check
new file mode 100644
index 0000000000..c59e92d4eb
--- /dev/null
+++ b/test/files/run/interop_concretetypetags_are_classmanifests.check
@@ -0,0 +1,3 @@
+Int

+java.lang.String

+Array[Int]

diff --git a/test/files/run/interop_concretetypetags_are_classmanifests.scala b/test/files/run/interop_concretetypetags_are_classmanifests.scala
new file mode 100644
index 0000000000..b578d7e626
--- /dev/null
+++ b/test/files/run/interop_concretetypetags_are_classmanifests.scala
@@ -0,0 +1,9 @@
+object Test extends App {
+  def concreteTypeTagIsClassManifest[T: ConcreteTypeTag] = {
+    println(classManifest[T])
+  }
+
+  concreteTypeTagIsClassManifest[Int]
+  concreteTypeTagIsClassManifest[String]
+  concreteTypeTagIsClassManifest[Array[Int]]
+}
\ No newline at end of file
diff --git a/test/files/run/interop_concretetypetags_are_manifests.check b/test/files/run/interop_concretetypetags_are_manifests.check
new file mode 100644
index 0000000000..c59e92d4eb
--- /dev/null
+++ b/test/files/run/interop_concretetypetags_are_manifests.check
@@ -0,0 +1,3 @@
+Int

+java.lang.String

+Array[Int]

diff --git a/test/files/run/interop_concretetypetags_are_manifests.scala b/test/files/run/interop_concretetypetags_are_manifests.scala
new file mode 100644
index 0000000000..731410bc10
--- /dev/null
+++ b/test/files/run/interop_concretetypetags_are_manifests.scala
@@ -0,0 +1,9 @@
+object Test extends App {
+  def concreteTypeTagIsManifest[T: ConcreteTypeTag] = {
+    println(manifest[T])
+  }
+
+  concreteTypeTagIsManifest[Int]
+  concreteTypeTagIsManifest[String]
+  concreteTypeTagIsManifest[Array[Int]]
+}
\ No newline at end of file
diff --git a/test/files/run/interop_manifests_are_classtags.check b/test/files/run/interop_manifests_are_classtags.check
new file mode 100644
index 0000000000..07ff6b984a
--- /dev/null
+++ b/test/files/run/interop_manifests_are_classtags.check
@@ -0,0 +1,24 @@
+Int

+Int

+List()

+List(0, 0, 0, 0, 0)

+java.lang.String

+java.lang.String

+List()

+List(null, null, null, null, null)

+Array[Int]

+Array[Int]

+List()

+List(null, null, null, null, null)

+Int

+Int

+List()

+List(0, 0, 0, 0, 0)

+java.lang.String

+java.lang.String

+List()

+List(null, null, null, null, null)

+Array[Int]

+Array[Int]

+List()

+List(null, null, null, null, null)

diff --git a/test/files/run/interop_manifests_are_classtags.scala b/test/files/run/interop_manifests_are_classtags.scala
new file mode 100644
index 0000000000..582cea3467
--- /dev/null
+++ b/test/files/run/interop_manifests_are_classtags.scala
@@ -0,0 +1,23 @@
+object Test extends App {
+  def classManifestIsClassTag[T: ClassManifest] = {
+    println(arrayTag[T])
+    println(erasureTag[T])
+    println(Array[T]().toList)
+    println(new Array[T](5).toList)
+  }
+
+  classManifestIsClassTag[Int]
+  classManifestIsClassTag[String]
+  classManifestIsClassTag[Array[Int]]
+
+  def manifestIsClassTag[T: Manifest] = {
+    println(arrayTag[T])
+    println(erasureTag[T])
+    println(Array[T]().toList)
+    println(new Array[T](5).toList)
+  }
+
+  manifestIsClassTag[Int]
+  manifestIsClassTag[String]
+  manifestIsClassTag[Array[Int]]
+}
\ No newline at end of file
diff --git a/test/files/run/interop_manifests_are_concretetypetags.check b/test/files/run/interop_manifests_are_concretetypetags.check
new file mode 100644
index 0000000000..edab85ecf1
--- /dev/null
+++ b/test/files/run/interop_manifests_are_concretetypetags.check
@@ -0,0 +1,6 @@
+Int
+int
+String
+class java.lang.String
+Array[Int]
+class [I
diff --git a/test/files/run/interop_manifests_are_concretetypetags.scala b/test/files/run/interop_manifests_are_concretetypetags.scala
new file mode 100644
index 0000000000..0b82a56d0a
--- /dev/null
+++ b/test/files/run/interop_manifests_are_concretetypetags.scala
@@ -0,0 +1,10 @@
+object Test extends App {
+  def manifestIsConcreteTypeTag[T: Manifest] = {
+    println(concreteTypeTag[T].tpe)
+    println(concreteTypeTag[T].erasure)
+  }
+
+  manifestIsConcreteTypeTag[Int]
+  manifestIsConcreteTypeTag[String]
+  manifestIsConcreteTypeTag[Array[Int]]
+}
\ No newline at end of file
diff --git a/test/files/run/interop_manifests_are_typetags.check b/test/files/run/interop_manifests_are_typetags.check
new file mode 100644
index 0000000000..edab85ecf1
--- /dev/null
+++ b/test/files/run/interop_manifests_are_typetags.check
@@ -0,0 +1,6 @@
+Int
+int
+String
+class java.lang.String
+Array[Int]
+class [I
diff --git a/test/files/run/interop_manifests_are_typetags.scala b/test/files/run/interop_manifests_are_typetags.scala
new file mode 100644
index 0000000000..03a7b7b6d5
--- /dev/null
+++ b/test/files/run/interop_manifests_are_typetags.scala
@@ -0,0 +1,10 @@
+object Test extends App {
+  def manifestIsTypeTag[T: Manifest] = {
+    println(typeTag[T].tpe)
+    println(typeTag[T].erasure)
+  }
+
+  manifestIsTypeTag[Int]
+  manifestIsTypeTag[String]
+  manifestIsTypeTag[Array[Int]]
+}
\ No newline at end of file