diff options
Diffstat (limited to 'test/pos/infer.scala')
-rw-r--r-- | test/pos/infer.scala | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/test/pos/infer.scala b/test/pos/infer.scala deleted file mode 100644 index 24871458b3..0000000000 --- a/test/pos/infer.scala +++ /dev/null @@ -1,11 +0,0 @@ -object test { - class List[+a] { - 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); -} |