Move some files to warn

Author: dwijnand

tests/neg-custom-args/fatal-warnings/i12253.check

@@ -1,9 +1,13 @@
--- Error: tests/neg-custom-args/fatal-warnings/i12253.scala:11:10 ------------------------------------------------------
+-- [E092] Pattern Match Error: tests/neg-custom-args/fatal-warnings/i12253.scala:11:10 ---------------------------------
 11 |     case extractors.InlinedLambda(_, Select(_, name)) => Expr(name) // error // error
    |          ^
    |the type test for extractors.q2.reflect.Term cannot be checked at runtime because it refers to an abstract type member or type parameter
--- Error: tests/neg-custom-args/fatal-warnings/i12253.scala:11:38 ------------------------------------------------------
+   |
+   | longer explanation available when compiling with `-explain`
+-- [E092] Pattern Match Error: tests/neg-custom-args/fatal-warnings/i12253.scala:11:38 ---------------------------------
 11 |     case extractors.InlinedLambda(_, Select(_, name)) => Expr(name) // error // error
    |                                      ^
    |the type test for q1.reflect.Select cannot be checked at runtime because it refers to an abstract type member or type parameter
+   |
+   | longer explanation available when compiling with `-explain`
 there was 1 deprecation warning; re-run with -deprecation for details

tests/neg-custom-args/fatal-warnings/i16728.check

@@ -1,4 +1,6 @@
--- Error: tests/neg-custom-args/fatal-warnings/i16728.scala:16:11 ------------------------------------------------------
+-- [E092] Pattern Match Error: tests/neg-custom-args/fatal-warnings/i16728.scala:16:11 ---------------------------------
 16 |      case tx : C[Int]#X => // error
    |           ^
    |     the type test for C[Int] cannot be checked at runtime because its type arguments can't be determined from A
+   |
+   | longer explanation available when compiling with `-explain`

tests/neg-custom-args/isInstanceOf/enum-approx2.scala

@@ -66,10 +66,12 @@ Matching filters for @nowarn or -Wconf:
 47 |def t7c = f             // warning (deprecation)
    |          ^
    |          method f is deprecated
--- Unchecked Warning: tests/neg-custom-args/nowarn/nowarn.scala:53:7 ---------------------------------------------------
+-- [E092] Pattern Match Unchecked Warning: tests/neg-custom-args/nowarn/nowarn.scala:53:7 ------------------------------
 53 |  case _: List[Int] => 0 // warning (patmat, unchecked)
    |       ^
    |the type test for List[Int] cannot be checked at runtime because its type arguments can't be determined from Any
+   |
+   | longer explanation available when compiling with `-explain`
 -- Error: tests/neg-custom-args/nowarn/nowarn.scala:31:1 ---------------------------------------------------------------
 31 |@nowarn("id=1") def t4d = try 1 // error and warning (unused nowarn, wrong id)
    |^^^^^^^^^^^^^^^

tests/neg-custom-args/nowarn/nowarn.check

@@ -1,4 +1,6 @@
--- Error: tests/neg/15981.scala:4:45 -----------------------------------------------------------------------------------
+-- [E092] Pattern Match Error: tests/neg/15981.scala:4:45 --------------------------------------------------------------
 4 |    override def equals(any: Any): Boolean = any.isInstanceOf[PosInt] // error
   |                                             ^^^
   |                                  the type test for PosInt cannot be checked at runtime because it's a local class
+  |
+  | longer explanation available when compiling with `-explain`

tests/neg/15981.check

@@ -1,28 +1,42 @@
--- Error: tests/neg/i4812.scala:8:11 -----------------------------------------------------------------------------------
+-- [E092] Pattern Match Error: tests/neg/i4812.scala:8:11 --------------------------------------------------------------
 8 |      case prev: A => // error: the type test for A cannot be checked at runtime
   |           ^
   |           the type test for A cannot be checked at runtime because it's a local class
--- Error: tests/neg/i4812.scala:18:11 ----------------------------------------------------------------------------------
+  |
+  | longer explanation available when compiling with `-explain`
+-- [E092] Pattern Match Error: tests/neg/i4812.scala:18:11 -------------------------------------------------------------
 18 |      case prev: A => // error: the type test for A cannot be checked at runtime
    |           ^
    |           the type test for A cannot be checked at runtime because it's a local class
--- Error: tests/neg/i4812.scala:28:11 ----------------------------------------------------------------------------------
+   |
+   | longer explanation available when compiling with `-explain`
+-- [E092] Pattern Match Error: tests/neg/i4812.scala:28:11 -------------------------------------------------------------
 28 |      case prev: A => // error: the type test for A cannot be checked at runtime
    |           ^
    |           the type test for A cannot be checked at runtime because it's a local class
--- Error: tests/neg/i4812.scala:38:11 ----------------------------------------------------------------------------------
+   |
+   | longer explanation available when compiling with `-explain`
+-- [E092] Pattern Match Error: tests/neg/i4812.scala:38:11 -------------------------------------------------------------
 38 |      case prev: A => // error: the type test for A cannot be checked at runtime
    |           ^
    |           the type test for A cannot be checked at runtime because it's a local class
--- Error: tests/neg/i4812.scala:50:13 ----------------------------------------------------------------------------------
+   |
+   | longer explanation available when compiling with `-explain`
+-- [E092] Pattern Match Error: tests/neg/i4812.scala:50:13 -------------------------------------------------------------
 50 |        case prev: A => // error: the type test for A cannot be checked at runtime
    |             ^
    |             the type test for A cannot be checked at runtime because it's a local class
--- Error: tests/neg/i4812.scala:60:11 ----------------------------------------------------------------------------------
+   |
+   | longer explanation available when compiling with `-explain`
+-- [E092] Pattern Match Error: tests/neg/i4812.scala:60:11 -------------------------------------------------------------
 60 |      case prev: A => // error: the type test for A cannot be checked at runtime
    |           ^
    |           the type test for A cannot be checked at runtime because it's a local class
--- Error: tests/neg/i4812.scala:96:11 ----------------------------------------------------------------------------------
+   |
+   | longer explanation available when compiling with `-explain`
+-- [E092] Pattern Match Error: tests/neg/i4812.scala:96:11 -------------------------------------------------------------
 96 |      case x: B => // error: the type test for B cannot be checked at runtime
    |           ^
    |           the type test for B cannot be checked at runtime because it's a local class
+   |
+   | longer explanation available when compiling with `-explain`

tests/neg/i4812.check

@@ -0,0 +1,12 @@
+-- [E092] Pattern Match Unchecked Warning: tests/warn/enum-approx2.scala:6:13 ------------------------------------------
+6 |    case Fun(x: Fun[Int, Double]) => ???                                   // warn: unchecked
+  |             ^
+  |the type test for Fun[Int, Double] cannot be checked at runtime because its type arguments can't be determined from Exp[Int => Int]
+  |
+  | longer explanation available when compiling with `-explain`
+-- [E092] Pattern Match Unchecked Warning: tests/warn/enum-approx2.scala:7:13 ------------------------------------------
+7 |    case Fun(x: Exp[Int => String]) => ??? // warn: unreachable            // warn: unchecked
+  |             ^
+  |the type test for Exp[Int => String] cannot be checked at runtime because its type arguments can't be determined from Exp[Int => Int]
+  |
+  | longer explanation available when compiling with `-explain`

tests/warn/enum-approx2.check

@@ -0,0 +1,10 @@
+sealed trait Exp[T]
+case class Fun[A, B](f: Exp[A => B]) extends Exp[A => B]
+
+class Test {
+  def eval(e: Fun[Int, Int]) = e match {
+    case Fun(x: Fun[Int, Double]) => ???                                   // warn: unchecked
+    case Fun(x: Exp[Int => String]) => ??? // warn: unreachable            // warn: unchecked
+    case _ =>                              // warn: unreachable-only-null
+  }
+}

tests/warn/enum-approx2.scala

@@ -1,27 +1,19 @@
--- [E029] Pattern Match Exhaustivity Warning: tests/warn/i16451.scala:12:73 --------------------------------------------
-12 |  def test_correct(x: Wrapper[Color]): Option[Wrapper[Color.Red.type]] = x match // error: inexhaustive
-   |                                                                         ^
-   |                                                                       match may not be exhaustive.
-   |
-   |                                                                       It would fail on pattern case: Wrapper(_)
-   |
-   | longer explanation available when compiling with `-explain`
--- [E030] Match case Unreachable Warning: tests/warn/i16451.scala:25:9 -------------------------------------------------
-25 |    case x: Wrapper[Color.Red.type] => Some(x) // error: unreachable // error: unchecked
-   |         ^^^^^^^^^^^^^^^^^^^^^^^^^^
+-- [E030] Match case Unreachable Warning: tests/warn/i16451.scala:14:9 -------------------------------------------------
+14 |    case x: Wrapper[Color.Green.type] => None    // error: unchecked
+   |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
    |         Unreachable case
--- [E030] Match case Unreachable Warning: tests/warn/i16451.scala:29:9 -------------------------------------------------
-29 |    case x: Wrapper[Color.Red.type] => Some(x) // error: unreachable // error: unchecked
-   |         ^^^^^^^^^^^^^^^^^^^^^^^^^^
+-- [E030] Match case Unreachable Warning: tests/warn/i16451.scala:22:9 -------------------------------------------------
+22 |    case x: Wrapper[Color.Green.type] => None    // error: unchecked
+   |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
    |         Unreachable case
--- [E030] Match case Unreachable Warning: tests/warn/i16451.scala:34:11 ------------------------------------------------
-34 |      case x: Wrapper[Color.Red.type] => x // error: unreachable // error: unchecked
-   |           ^^^^^^^^^^^^^^^^^^^^^^^^^^
-   |           Unreachable case
--- [E030] Match case Unreachable Warning: tests/warn/i16451.scala:39:11 ------------------------------------------------
-39 |      case x: Wrapper[Color.Red.type] => x // error: unreachable // error: unchecked
-   |           ^^^^^^^^^^^^^^^^^^^^^^^^^^
-   |           Unreachable case
+-- [E121] Pattern Match Warning: tests/warn/i16451.scala:26:9 ----------------------------------------------------------
+26 |    case _                          => None
+   |         ^
+   |         Unreachable case except for null (if this is intentional, consider writing case null => instead).
+-- [E121] Pattern Match Warning: tests/warn/i16451.scala:30:9 ----------------------------------------------------------
+30 |    case _                          => None
+   |         ^
+   |         Unreachable case except for null (if this is intentional, consider writing case null => instead).
 -- [E092] Pattern Match Unchecked Warning: tests/warn/i16451.scala:13:9 ------------------------------------------------
 13 |    case x: Wrapper[Color.Red.type]   => Some(x) // error: unchecked
    |         ^

tests/neg-custom-args/isInstanceOf/i11178.scala renamed to tests/warn/i11178.scala

@@ -0,0 +1,30 @@
+-- [E092] Pattern Match Unchecked Warning: tests/warn/i5826.scala:3:9 --------------------------------------------------
+3 |    case ls: List[Int] => ls.head       // error, A = List[String]
+  |         ^
+  |    the type test for List[Int] cannot be checked at runtime because its type arguments can't be determined from A
+  |
+  | longer explanation available when compiling with `-explain`
+-- [E092] Pattern Match Unchecked Warning: tests/warn/i5826.scala:8:9 --------------------------------------------------
+8 |    case ls: List[Int] => ls.head       // warn: unchecked
+  |         ^
+  |the type test for List[Int] cannot be checked at runtime because its type arguments can't be determined from List[String]
+  |
+  | longer explanation available when compiling with `-explain`
+-- [E092] Pattern Match Unchecked Warning: tests/warn/i5826.scala:17:9 -------------------------------------------------
+17 |    case ls: A[X] => 4                 // error
+   |         ^
+   |the type test for Foo.this.A[X] cannot be checked at runtime because its type arguments can't be determined from Foo.this.B[X]
+   |
+   | longer explanation available when compiling with `-explain`
+-- [E092] Pattern Match Unchecked Warning: tests/warn/i5826.scala:22:9 -------------------------------------------------
+22 |    case ls: List[Int] => ls.head       // error, List extends Int => T
+   |         ^
+   |the type test for List[Int] cannot be checked at runtime because its type arguments can't be determined from A => Int
+   |
+   | longer explanation available when compiling with `-explain`
+-- [E092] Pattern Match Unchecked Warning: tests/warn/i5826.scala:28:54 ------------------------------------------------
+28 |  def test5[T](x: A[T] | B[T] | Option[T]): Boolean = x.isInstanceOf[C[String]] // error
+   |                                                      ^
+   |the type test for Foo.this.C[String] cannot be checked at runtime because its type arguments can't be determined from Foo.this.A[T]
+   |
+   | longer explanation available when compiling with `-explain`

tests/warn/i16451.check

@@ -5,8 +5,8 @@ class Foo {
   }
 
   def test2: List[Int] | List[String] => Int = {
-    case ls: List[Int] => ls.head       // error
-    case _ => 0
+    case ls: List[Int] => ls.head       // warn: unchecked
+    case _ => 0                         // warn: unreachable-only-null
   }
 
   trait A[T]