summaryrefslogtreecommitdiff
path: root/test/files/scalap/classWithExistential
diff options
context:
space:
mode:
Diffstat (limited to 'test/files/scalap/classWithExistential')
-rw-r--r--test/files/scalap/classWithExistential/A.scala3
-rw-r--r--test/files/scalap/classWithExistential/result.test4
2 files changed, 7 insertions, 0 deletions
diff --git a/test/files/scalap/classWithExistential/A.scala b/test/files/scalap/classWithExistential/A.scala
new file mode 100644
index 0000000000..2a77a842c9
--- /dev/null
+++ b/test/files/scalap/classWithExistential/A.scala
@@ -0,0 +1,3 @@
+class ClassWithExistential {
+ def foo[A, B] : A=> B forSome {type A <: Seq[Int]; type B >: String} = null
+} \ No newline at end of file
diff --git a/test/files/scalap/classWithExistential/result.test b/test/files/scalap/classWithExistential/result.test
new file mode 100644
index 0000000000..377edff7ef
--- /dev/null
+++ b/test/files/scalap/classWithExistential/result.test
@@ -0,0 +1,4 @@
+class ClassWithExistential extends java.lang.Object with scala.ScalaObject {
+ def this() = { /* compiled code */ }
+ def foo[A >: scala.Nothing <: scala.Any, B >: scala.Nothing <: scala.Any] : scala.Function1[A, B forSome {type A >: scala.Nothing <: scala.Seq[scala.Int]; type B >: scala.Predef.String <: scala.Any}] = { /* compiled code */ }
+} \ No newline at end of file