add Manifest tests

Author: bishabosha

tests/disabled/reflect/neg/interop_abstypetags_arenot_classtags.check

@@ -0,0 +1,6 @@
+
+
+-- Error: tests/neg/interop_abstypetags_arenot_classtags/Test_3.scala:6:23 ---------------------------------------------
+6 |    println(classTag[T]) // error
+  |                       ^
+  |                       No ClassTag available for T

tests/disabled/reflect/neg/interop_abstypetags_arenot_classtags.scala

@@ -0,0 +1,12 @@
+import scala.reflect.runtime.universe._
+import scala.reflect.classTag
+
+object Test extends App {
+  def weakTypeTagIsnotClassTag[T: WeakTypeTag] = {
+    println(classTag[T]) // error
+  }
+
+  // weakTypeTagIsnotClassTag[Int]
+  // weakTypeTagIsnotClassTag[String]
+  // weakTypeTagIsnotClassTag[Array[Int]]
+}

tests/disabled/reflect/neg/interop_abstypetags_arenot_manifests.check

@@ -0,0 +1,8 @@
+package scala.reflect.api
+
+trait TypeTags { self: Universe =>
+  trait WeakTypeTag[T]
+  trait TypeTag[T] extends WeakTypeTag[T]
+}
+
+abstract class Universe extends TypeTags

tests/disabled/reflect/neg/interop_abstypetags_arenot_manifests.scala

@@ -0,0 +1,7 @@
+package scala.reflect
+
+package object runtime {
+
+  lazy val universe: api.Universe = new api.Universe {}
+
+}

tests/disabled/reflect/neg/interop_classtags_arenot_manifests.check

@@ -0,0 +1,6 @@
+
+
+-- Error: tests/neg/interop_abstypetags_arenot_manifests/Test_3.scala:5:23 ---------------------------------------------
+5 |    println(manifest[T]) // error
+  |                       ^
+  |                       No Manifest available for T.

tests/disabled/reflect/neg/interop_typetags_arenot_classtags.check

@@ -0,0 +1,11 @@
+import scala.reflect.runtime.universe._
+
+object Test extends App {
+  def weakTypeTagIsnotManifest[T: WeakTypeTag] = {
+    println(manifest[T]) // error
+  }
+
+  // weakTypeTagIsnotManifest[Int]
+  // weakTypeTagIsnotManifest[String]
+  // weakTypeTagIsnotManifest[Array[Int]]
+}

tests/disabled/reflect/neg/interop_typetags_arenot_classtags.scala

@@ -0,0 +1,8 @@
+package scala.reflect.api
+
+trait TypeTags { self: Universe =>
+  trait WeakTypeTag[T]
+  trait TypeTag[T] extends WeakTypeTag[T]
+}
+
+abstract class Universe extends TypeTags

tests/disabled/reflect/neg/interop_typetags_without_classtags_arenot_manifests.check

@@ -0,0 +1,7 @@
+package scala.reflect
+
+package object runtime {
+
+  lazy val universe: api.Universe = new api.Universe {}
+
+}

tests/disabled/reflect/neg/interop_typetags_without_classtags_arenot_manifests.scala

@@ -0,0 +1,4 @@
+-- Error: tests/neg/interop_classtags_arenot_manifests.scala:5:23 ------------------------------------------------------
+5 |    println(manifest[T]) // error
+  |                       ^
+  |                       No Manifest available for T.

tests/disabled/reflect/run/interop_typetags_are_manifests.check

@@ -2,7 +2,7 @@ import scala.reflect.{ClassTag, classTag}
 
 object Test extends App {
   def classTagIsnotManifest[T: ClassTag] = {
-    println(manifest[T])
+    println(manifest[T]) // error
   }
 
   classTagIsnotManifest[Int]

tests/disabled/reflect/run/interop_typetags_are_manifests.flags

@@ -0,0 +1,6 @@
+
+
+-- Error: tests/neg/interop_typetags_arenot_classtags/Test_3.scala:6:23 ------------------------------------------------
+6 |    println(classTag[T]) // error
+  |                       ^
+  |                       No ClassTag available for T

tests/neg/interop_abstypetags_arenot_classtags.check

@@ -0,0 +1,12 @@
+import scala.reflect.runtime.universe._
+import scala.reflect.classTag
+
+object Test extends App {
+  def typeTagIsnotClassTag[T: TypeTag] = {
+    println(classTag[T]) // error
+  }
+
+  // typeTagIsnotClassTag[Int]
+  // typeTagIsnotClassTag[String]
+  // typeTagIsnotClassTag[Array[Int]]
+}

tests/neg/interop_abstypetags_arenot_classtags/Test_3.scala

@@ -0,0 +1,7 @@
+package scala.reflect.api
+
+trait TypeTags { self: Universe =>
+  trait TypeTag[T]
+}
+
+abstract class Universe extends TypeTags

tests/neg/interop_abstypetags_arenot_classtags/api_1.scala

@@ -0,0 +1,7 @@
+package scala.reflect
+
+package object runtime {
+
+  lazy val universe: api.Universe = new api.Universe {}
+
+}

tests/neg/interop_abstypetags_arenot_classtags/universe_2.scala

@@ -0,0 +1,10 @@
+
+
+-- Error: tests/neg/interop_typetags_without_classtags_arenot_manifests/Test_3.scala:5:23 ------------------------------
+5 |    println(manifest[T]) // error
+  |                       ^
+  |                       To create a Manifest here, it is necessary to interoperate with the
+  |                       TypeTag `evidence$1` in scope. However TypeTag to Manifest conversion requires a
+  |                       ClassTag for the corresponding type to be present.
+  |                       To proceed add a ClassTag for the type `T` (e.g. by introducing a context bound)
+  |                       and recompile.

tests/neg/interop_abstypetags_arenot_manifests.check

@@ -0,0 +1,11 @@
+import scala.reflect.runtime.universe._
+
+object Test extends App {
+  def typeTagWithoutClassTagIsnotManifest[T: TypeTag] = {
+    println(manifest[T]) // error
+  }
+
+  // typeTagWithoutClassTagIsnotManifest[Int]
+  // typeTagWithoutClassTagIsnotManifest[String]
+  // typeTagWithoutClassTagIsnotManifest[Array[Int]]
+}

tests/neg/interop_abstypetags_arenot_manifests/Test_3.scala

@@ -0,0 +1,7 @@
+package scala.reflect.api
+
+trait TypeTags { self: Universe =>
+  trait TypeTag[T]
+}
+
+abstract class Universe extends TypeTags

tests/neg/interop_abstypetags_arenot_manifests/api_1.scala

@@ -0,0 +1,7 @@
+package scala.reflect
+
+package object runtime {
+
+  lazy val universe: api.Universe = new api.Universe {}
+
+}

tests/neg/interop_abstypetags_arenot_manifests/universe_2.scala

@@ -1,13 +1,12 @@
 import scala.reflect.runtime.universe._
 import scala.reflect.ClassTag
-import internal._
 
-object Test extends App {
+object Test {
   def typeTagIsManifest[T: TypeTag : ClassTag] = {
     println(manifest[T])
   }
 
-  typeTagIsManifest[Int]
-  typeTagIsManifest[String]
-  typeTagIsManifest[Array[Int]]
+  // typeTagIsManifest[Int]
+  // typeTagIsManifest[String]
+  // typeTagIsManifest[Array[Int]]
 }

tests/neg/interop_classtags_arenot_manifests.check

@@ -0,0 +1,22 @@
+package scala.reflect.api
+
+import scala.reflect.{Manifest, ClassTag}
+
+trait TypeTags { self: Universe =>
+  trait TypeTag[T]
+}
+
+trait Internals { self: Universe =>
+
+  object internal {
+    def typeTagToManifest[T: ClassTag](mirror: Any, tag: Universe#TypeTag[T]): Manifest[T] = ???
+  }
+
+}
+
+abstract class Universe extends TypeTags
+                           with Internals
+
+abstract class JavaUniverse extends Universe {
+  def runtimeMirror(cl: ClassLoader): Any = ???
+}

tests/disabled/reflect/neg/interop_classtags_arenot_manifests.scala renamed to tests/neg/interop_classtags_arenot_manifests.scala

@@ -0,0 +1,9 @@
+package scala.reflect
+
+import scala.reflect.api
+
+package object runtime {
+
+  lazy val universe: api.JavaUniverse = new api.JavaUniverse {}
+
+}