Move warn tests from tests/neg to tests/warn: Batch 2

scala · Dec 11, 2023 · dd50793 · dd50793
1 parent 55a63f3
commit dd50793
Show file tree

Hide file tree

Showing 210 changed files with 857 additions and 3,731 deletions.
diff --git a/tests/neg/14034b.scala b/tests/neg/14034b.scala
diff --git a/tests/neg/17284.scala b/tests/neg/17284.scala
diff --git a/tests/neg/18493.check b/tests/neg/18493.check
diff --git a/tests/neg/adhoc-extension/B.scala b/tests/neg/adhoc-extension/B.scala
@@ -1,10 +1,11 @@
 //> using options -source future -feature -Xfatal-warnings
 
 package adhoc
-class B extends A  // error: adhoc-extension (under -strict -feature -Xfatal-warnings)
-class C extends A  // error
+class B extends A  // warn: adhoc-extension (under -strict -feature -Xfatal-warnings)
+class C extends A  // warn
 
 object O {
-  val a = new A {}  // error
-  object E extends A  // error
-}
+  val a = new A {}  // warn
+  object E extends A  // warn
+}
+// nopos-error: No warnings can be incurred under -Werror.
diff --git a/tests/neg/avoid-warn-deprecation.scala b/tests/neg/avoid-warn-deprecation.scala
diff --git a/tests/neg/capt-wf.scala b/tests/neg/capt-wf.scala
@@ -13,12 +13,12 @@ def test(c: Cap, other: String): Unit =
   val x3a: () -> String = s1
   val s2 = () => if x1 == null then "" else "abc"
   val x4: C^{s2} = ??? // OK
-  val x5: C^{c, c} = ??? // error: redundant // error: redundant
+  val x5: C^{c, c} = ??? // warn: redundant // warn: redundant
   // val x6: C^{c}^{c} = ??? // would be syntax error
-  val x7: Cap^{c} = ??? // error: redundant
+  val x7: Cap^{c} = ??? // warn: redundant
   // val x8: C^{c}^{cap} = ??? // would be syntax error
-  val x9: C^{c, cap}  = ??? // error: redundant
-  val x10: C^{cap, c} = ??? // error: redundant
+  val x9: C^{c, cap}  = ??? // warn: redundant
+  val x10: C^{cap, c} = ??? // warn: redundant
 
   def even(n: Int): Boolean = if n == 0 then true else odd(n - 1)
   def odd(n: Int): Boolean = if n == 1 then true else even(n - 1)
@@ -34,4 +34,5 @@ def test(c: Cap, other: String): Unit =
     if n == 0 then true else od(n - 1)
   val y3: String^{ev} = ??? // error cs is empty
 
-  ()
+  ()
+// nopos-error: No warnings can be incurred under -Werror.
diff --git a/tests/neg/classtag-typetest/3_1-migration.scala b/tests/neg/classtag-typetest/3_1-migration.scala
@@ -5,4 +5,5 @@ import scala.reflect.ClassTag
 
 def f3_1m[T: ClassTag](x: Any): Unit =
   x match
-    case _: T => // error
+    case _: T => // warn
+// nopos-error: No warnings can be incurred under -Werror.
diff --git a/tests/neg/classtag-typetest/3_1.scala b/tests/neg/classtag-typetest/3_1.scala
@@ -5,4 +5,5 @@ import scala.reflect.ClassTag
 
 def f3_1[T: ClassTag](x: Any): Unit =
   x match
-    case _: T => // error
+    case _: T => // warn
+// nopos-error: No warnings can be incurred under -Werror.
diff --git a/tests/neg/i10247.scala b/tests/neg/i10247.scala
diff --git a/tests/neg/i10930.scala b/tests/neg/i10930.scala
diff --git a/tests/neg/i10994.scala b/tests/neg/i10994.scala
diff --git a/tests/neg/i11022.check b/tests/neg/i11022.check
diff --git a/tests/neg/i11022.scala b/tests/neg/i11022.scala
diff --git a/tests/neg/i11097.scala b/tests/neg/i11097.scala
diff --git a/tests/neg/i11225b.check b/tests/neg/i11225b.check
@@ -0,0 +1,6 @@
+-- Error: tests/neg/i11225b.scala:6:26 ---------------------------------------------------------------------------------
+6 |  private var cached: A = _ // error
+  |                          ^
+  |                          `= _` has been deprecated; use `= uninitialized` instead.
+  |                          `uninitialized` can be imported with `scala.compiletime.uninitialized`.
+  |                          This construct can be rewritten automatically under -rewrite -source 3.4-migration.
diff --git a/tests/neg/i11225b.scala b/tests/neg/i11225b.scala
@@ -1,4 +1,4 @@
-//> using options -source future -deprecation -Xfatal-warnings
+//> using options -source future -deprecation
 
 import compiletime.uninitialized
 
@@ -10,3 +10,4 @@ class Memo[A](x: => A):
       known = true
       cached = x
     cached
+
diff --git a/tests/neg/i11333.check b/tests/neg/i11333.check
diff --git a/tests/neg/i11333.scala b/tests/neg/i11333.scala
diff --git a/tests/neg/i11344.scala b/tests/neg/i11344.scala
diff --git a/tests/neg/i11963a.scala b/tests/neg/i11963a.scala
diff --git a/tests/neg/i11963b.scala b/tests/neg/i11963b.scala
diff --git a/tests/neg/i11963c.scala b/tests/neg/i11963c.scala
diff --git a/tests/neg/i12188/Test.scala b/tests/neg/i12188/Test.scala
@@ -7,5 +7,7 @@ case class PC2(b: Int) extends P
 def Test = MatchTest.test(PC2(10): P)
 
 def foo(x: P): Unit =
-  x match           // error
-  case _: PC1 =>
+  x match           // warn
+  case _: PC1 =>
+
+// nopos-error: No warnings can be incurred under -Werror.
diff --git a/tests/neg/i12253.check b/tests/neg/i12253.check
diff --git a/tests/neg/i12253.scala b/tests/neg/i12253.scala
diff --git a/tests/neg/i12597.scala b/tests/neg/i12597.scala
diff --git a/tests/neg/i13011.scala b/tests/neg/i13011.scala