changed "All/AllRef" to "Nothing/Null" in test/...

changed "All/AllRef" to "Nothing/Null" in test/library/compiler

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)
 }