summaryrefslogtreecommitdiff
path: root/test/files/pos/generic-sigs.scala
diff options
context:
space:
mode:
Diffstat (limited to 'test/files/pos/generic-sigs.scala')
-rw-r--r--test/files/pos/generic-sigs.scala11
1 files changed, 11 insertions, 0 deletions
diff --git a/test/files/pos/generic-sigs.scala b/test/files/pos/generic-sigs.scala
index 4822cfcfb0..533163373b 100644
--- a/test/files/pos/generic-sigs.scala
+++ b/test/files/pos/generic-sigs.scala
@@ -4,4 +4,15 @@ object A {
def f3(x: Class[_ <: Int]) = x
def f4(x: Class[_ <: String with Int]) = x
def f5(x: Class[_ <: Int with String]) = x
+
+ class Bippy[T]
+ def f6(x: Int) = new Bippy[t forSome { type t <: Int }]
+ def f7(x: T forSome { type T <: Float }) = x
+ def f8(x: T forSome { type T <: Unit }) = x
+ def f9(x: T forSome { type T <: runtime.BoxedUnit }) = x
+ def f10(x: Int) = new Bippy[t forSome { type t <: Unit }]
+ def f11(x: Int) = new Bippy[t forSome { type t >: Null }]
+
+ class Boppy[+T1,-T2]
+ def g1 = new Boppy[t forSome { type t <: Int }, u forSome { type u <: String }]
} \ No newline at end of file