Merge pull request #3756 from dotty-staging/fix-#2597

Fix #2567: Remove type annotation in test case

Author: smarter

tests/run/t3529.scala

@@ -8,8 +8,7 @@ object Test {
     assert((10 to 1 by -1 drop 9) == Seq(1))
 
     assert((1 to 10 drop 9) == Seq(10))
-    assert((1 until 10 drop 9) == (Nil: List[Int]))
-      // investigate why we need the type annotation here. See #2567.
+    assert((1 until 10 drop 9) == Nil)
 
     assert(Stream(1 to 10).flatten.toList == Stream(1 until 11).flatten.toList)
   }