Update test check files

Author: liufengyun

tests/patmat/i8922b.scala …-custom-args/fatal-warnings/i8922b.scalatests/patmat/i8922b.scala renamed to tests/neg-custom-args/fatal-warnings/i8922b.scala tests/patmat/i8922b.scala renamed to tests/neg-custom-args/fatal-warnings/i8922b.scala

@@ -31,7 +31,7 @@ object Interpreter {
             case Binary(left, op, right) =>
                 val l = eval(left)
                 val r = eval(right)
-                (l, r, op.tokenType) match {
+                (l, r, op.tokenType) match {    // error
                     case (l: DoubleV, r: DoubleV, PLUS)          => ???
                     case (l: IntV, r: IntV, PLUS)                => ???
                     case (l: DoubleV, r: IntV, PLUS)             => ???

tests/patmat/gadt-covariant.check

@@ -1 +1 @@
-6: Pattern Match Exhaustivity: (BExpr(_), IExpr(_)), (IExpr(_), BExpr(_))
+6: Pattern Match Exhaustivity: (IExpr(_), BExpr(_)), (BExpr(_), IExpr(_))

tests/patmat/patmat-adt.check

@@ -1,5 +1,5 @@
 7: Pattern Match Exhaustivity: Good(Bad(_)), Bad(Good(_))
 19: Pattern Match Exhaustivity: Some(_)
 24: Pattern Match Exhaustivity: (_, Some(_))
-29: Pattern Match Exhaustivity: (None, None), (Some(_), Some(_))
+29: Pattern Match Exhaustivity: (Some(_), Some(_)), (None, None)
 50: Pattern Match Exhaustivity: LetL(IntLit), LetL(BooleanLit)

tests/patmat/patmatexhaust.check

@@ -1,6 +1,6 @@
 7: Pattern Match Exhaustivity: Baz
 11: Pattern Match Exhaustivity: Bar(_)
-23: Pattern Match Exhaustivity: (Qult(), Qult()), (Kult(_), Kult(_))
+23: Pattern Match Exhaustivity: (Kult(_), Kult(_)), (Qult(), Qult())
 49: Pattern Match Exhaustivity: _: Gp
 53: Pattern Match Exhaustivity: _: Gp
 59: Pattern Match Exhaustivity: Nil

tests/patmat/t10019.check

@@ -1,2 +1,2 @@
-2: Pattern Match Exhaustivity: (List(_, _: _*), List(_, _, _: _*)), (List(_, _: _*), Nil), (List(_, _, _: _*), List(_, _: _*)), (Nil, List(_, _: _*))
+2: Pattern Match Exhaustivity: (List(_, _, _: _*), List(_, _: _*)), (Nil, List(_, _: _*)), (List(_, _: _*), List(_, _, _: _*)), (List(_, _: _*), Nil)
 11: Pattern Match Exhaustivity: (Foo(None), Foo(_))

tests/patmat/t4526.check

@@ -1,3 +1,3 @@
 2: Pattern Match Exhaustivity: _: Int
 7: Pattern Match Exhaustivity: (_, _)
-12: Pattern Match Exhaustivity: (false, false), (true, true)
+12: Pattern Match Exhaustivity: (true, true), (false, false)

tests/patmat/t5440.check

@@ -1 +1 @@
-2: Pattern Match Exhaustivity: (Nil, List(_, _: _*)), (List(_, _: _*), Nil)
+2: Pattern Match Exhaustivity: (List(_, _: _*), Nil), (Nil, List(_, _: _*))

tests/patmat/t6420.check

@@ -1 +1 @@
-5: Pattern Match Exhaustivity: (List(true, _: _*), List(true, _: _*)), (List(true, _: _*), List(false, _: _*)), (List(true, _: _*), Nil), (List(false, _: _*), List(true, _: _*)), (List(false, _: _*), List(false, _: _*)), (List(false, _: _*), Nil), (Nil, List(true, _: _*)), (Nil, List(false, _: _*)), (Nil, Nil), (_: List, List(true, _: _*)), (_: List, List(false, _: _*)), (_: List, Nil)
+5: Pattern Match Exhaustivity: (_: List, _: List)

tests/patmat/t6420.scala

@@ -8,4 +8,13 @@ object Test {
     case (`c1`::x, `c0`::y) => y
     case (`c1`::x, `c1`::y) => x
   }
+
+  def bar(x: List[Boolean], y: List[Boolean]) = (x,y) match {
+    case (false ::x, false ::y) => x
+    case (false ::x, true ::y) => y
+    case (true ::x, false ::y) => y
+    case (true ::x, true ::y) => x
+    case (Nil, _) => Nil
+    case (_, Nil) => Nil
+  }
 }

tests/patmat/t7466.check

@@ -1 +1 @@
-8: Pattern Match Exhaustivity: (true, true), (true, false), (false, true), (false, false), (_, true), (_, false)
+8: Pattern Match Exhaustivity: (_, _)