diff options
Diffstat (limited to 'test/files/pos/infer.scala')
-rw-r--r-- | test/files/pos/infer.scala | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/test/files/pos/infer.scala b/test/files/pos/infer.scala index 24871458b3..6aeed40491 100644 --- a/test/files/pos/infer.scala +++ b/test/files/pos/infer.scala @@ -1,11 +1,11 @@ object test { class List[+a] { - def ::[b >: a](x: b): List[b] = new Cons(x, this); + def ::[b >: a](x: b): List[b] = new Cons(x, this) } - case class Cons[a, b <: a](x: a, xs: List[b]) extends List[a]; - case object Nil extends List[All]; - def nil[n]: List[n] = Nil; - def cons[a](x: a, xs: List[a]): List[a] = null; - val x: List[Int] = Nil.::(1); - val y: List[Int] = nil.::(1); + case class Cons[a, b <: a](x: a, xs: List[b]) extends List[a] + case object Nil extends List[Nothing] + def nil[n]: List[n] = Nil + def cons[a](x: a, xs: List[a]): List[a] = null + val x: List[Int] = Nil.::(1) + val y: List[Int] = nil.::(1) } |