diff options
| author | Eugene Burmako <xeno.by@gmail.com> | 2012-09-17 15:09:11 +0200 |
|---|---|---|
| committer | Eugene Burmako <xeno.by@gmail.com> | 2012-09-17 15:09:11 +0200 |
| commit | 40c388aa948807d893837937c6fdaa313c556f8f (patch) | |
| tree | 8503c8756d8d169520fb62d91872b1d101ef0d23 /test/files/run/reflection-java-crtp.check | |
| parent | 564ea863e6da9a0a5b778a4aefe6108f4745cab5 (diff) | |
| download | scala-40c388aa948807d893837937c6fdaa313c556f8f.tar.gz scala-40c388aa948807d893837937c6fdaa313c556f8f.tar.bz2 scala-40c388aa948807d893837937c6fdaa313c556f8f.zip | |
Reflection no longer produces faux existentials
Because of using plain ExistentialType factory of a case class
typeToScala sometimes returned existentials with empty quantifieds.
Changing ExistentialType to newExistentialType, which simply returns
the underlying types if params are empty, fixed the problem.
Diffstat (limited to 'test/files/run/reflection-java-crtp.check')
| -rw-r--r-- | test/files/run/reflection-java-crtp.check | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/files/run/reflection-java-crtp.check b/test/files/run/reflection-java-crtp.check index 0f30b453c0..9fd305a7af 100644 --- a/test/files/run/reflection-java-crtp.check +++ b/test/files/run/reflection-java-crtp.check @@ -14,7 +14,7 @@ scala> // make sure that the E's in Enum<E extends Enum<E>> are represented 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
+scala> val TypeBounds(_, TypeRef(_, _, List(TypeRef(_, e2: TypeSymbol, _)))) = e1.typeSignature
e2: reflect.runtime.universe.TypeSymbol = type E
scala> println(e1 eq e2)
|