diff options
Diffstat (limited to 'test/files/run/reflection-java-crtp.check')
| -rw-r--r-- | test/files/run/reflection-java-crtp.check | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/test/files/run/reflection-java-crtp.check b/test/files/run/reflection-java-crtp.check new file mode 100644 index 0000000000..0f30b453c0 --- /dev/null +++ b/test/files/run/reflection-java-crtp.check @@ -0,0 +1,25 @@ +Type in expressions to have them evaluated.
+Type :help for more information.
+
+scala>
+
+scala> import scala.reflect.runtime.universe._
+import scala.reflect.runtime.universe._
+
+scala> val enum = typeOf[SimpleEnumeration].baseClasses(1).asClass
+enum: reflect.runtime.universe.ClassSymbol = class Enum
+
+scala> // make sure that the E's in Enum<E extends Enum<E>> are represented by the same symbol
+
+scala> val e1 = enum.typeParams(0).asType
+e1: reflect.runtime.universe.TypeSymbol = type E
+
+scala> val TypeBounds(_, ExistentialType(_, TypeRef(_, _, List(TypeRef(_, e2: TypeSymbol, _))))) = e1.typeSignature
+e2: reflect.runtime.universe.TypeSymbol = type E
+
+scala> println(e1 eq e2)
+true
+
+scala>
+
+scala>
|