summaryrefslogtreecommitdiff
path: root/test/files/pos/infer.scala
diff options
context:
space:
mode:
Diffstat (limited to 'test/files/pos/infer.scala')
-rw-r--r--test/files/pos/infer.scala10
1 files changed, 5 insertions, 5 deletions
diff --git a/test/files/pos/infer.scala b/test/files/pos/infer.scala
index 7e88585ae7..7ff49ff70f 100644
--- a/test/files/pos/infer.scala
+++ b/test/files/pos/infer.scala
@@ -1,10 +1,10 @@
module test {
- class List[a] {
- def ::(x: a): List[a] = new Cons(x, this);
+ class List[+a] {
+ def ::[b >: a](x: b): List[b] = new Cons(x, this);
}
- case class Cons[a](x: a, xs: List[a]) extends List[a];
- case class Nil[a] extends List[a];
- def nil[a]: Nil[a] = new Nil[a];
+ case class Cons[a, b <: a](x: a, xs: List[b]) extends List[a];
+ case object Nil extends List[All];
+ def nil[a]: List[a] = Nil;
def cons[a](x: a, xs: List[a]): List[a] = null;
val x: List[Int] = Nil.::(1);
val y: List[Int] = nil.::(1);