diff options
| author | Eugene Burmako <xeno.by@gmail.com> | 2012-09-17 14:47:17 +0200 |
|---|---|---|
| committer | Eugene Burmako <xeno.by@gmail.com> | 2012-09-17 14:47:17 +0200 |
| commit | 564ea863e6da9a0a5b778a4aefe6108f4745cab5 (patch) | |
| tree | 9335abc1626c94dd17c7068c0bb12138c2887b35 /test/files/run/reflection-java-crtp.check | |
| parent | 5cf6a750eac94d159fe4c67b75e24dde13495e71 (diff) | |
| download | scala-564ea863e6da9a0a5b778a4aefe6108f4745cab5.tar.gz scala-564ea863e6da9a0a5b778a4aefe6108f4745cab5.tar.bz2 scala-564ea863e6da9a0a5b778a4aefe6108f4745cab5.zip | |
SI-6374 Scala reflection now supports Java CRTP
Translation of Java types to Scala types has previously been
existentionalizing raw types of ParameterizedType arguments.
As shown in https://issues.scala-lang.org/browse/SI-6374
this leads to cyclic reference errors. If you wonder about the
mechanism of the error, take a look at the comments to the
aforementioned issue - there's a detailed explanation.
However calling rawToExistential is completely unnecessary, because
existential parameters of the results are immediately discarded,
and only prefix and symbol are used later on (which means that
existential extrapolation performed by rawToExistential also doesn't
after the result).
Finding out this was tough, but the rest was a piece of cake.
Getting rid of the call to rawToExistential when translating ParameterizedType
fixed the problem.
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>
|