change _* to _: _* in warnings

Author: liufengyun

compiler/src/dotty/tools/dotc/transform/patmat/Space.scala

@@ -647,9 +647,9 @@ class SpaceEngine(implicit ctx: Context) extends SpaceLogic {
         if (ctx.definitions.isTupleType(tp))
           params(tp).map(_ => "_").mkString("(", ", ", ")")
         else if (scalaListType.isRef(sym))
-          if (mergeList) "_*" else "_: List"
+          if (mergeList) "_: _*" else "_: List"
         else if (scalaConsType.isRef(sym))
-          if (mergeList) "_, _*"  else "List(_, _*)"
+          if (mergeList) "_, _: _*"  else "List(_, _: _*)"
         else if (tp.classSymbol.is(CaseClass) && !hasCustomUnapply(tp.classSymbol))
         // use constructor syntax for case class
           showType(tp) + params(tp).map(_ => "_").mkString("(", ", ", ")")

tests/patmat/exhausting.check

@@ -1,6 +1,6 @@
-21: Pattern Match Exhaustivity: List(_), List(_, _, _, _*)
+21: Pattern Match Exhaustivity: List(_), List(_, _, _, _: _*)
 27: Pattern Match Exhaustivity: Nil
-32: Pattern Match Exhaustivity: List(_, _*)
+32: Pattern Match Exhaustivity: List(_, _: _*)
 39: Pattern Match Exhaustivity: Bar3
 44: Pattern Match Exhaustivity: (Bar2, Bar2)
 53: Pattern Match Exhaustivity: (Bar2, Bar2), (Bar2, Bar1), (Bar1, Bar3), (Bar1, Bar2)

tests/patmat/i2363.check

@@ -1,2 +1,2 @@
-15: Pattern Match Exhaustivity: List(_, _*)
+15: Pattern Match Exhaustivity: List(_, _: _*)
 21: Pattern Match Exhaustivity: _: Expr

tests/patmat/t4408.check

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

tests/patmat/t5440.check

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

tests/patmat/t6420.check

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

tests/patmat/t7020.check

@@ -1,4 +1,4 @@
-3: Pattern Match Exhaustivity: List(_, _*)
-10: Pattern Match Exhaustivity: List(_, _*)
-17: Pattern Match Exhaustivity: List(_, _*)
-24: Pattern Match Exhaustivity: List(_, _*)
+3: Pattern Match Exhaustivity: List(_, _: _*)
+10: Pattern Match Exhaustivity: List(_, _: _*)
+17: Pattern Match Exhaustivity: List(_, _: _*)
+24: Pattern Match Exhaustivity: List(_, _: _*)

tests/patmat/t9232.check

@@ -1,3 +1,3 @@
 13: Pattern Match Exhaustivity: Node2()
-17: Pattern Match Exhaustivity: Node2(), Node1(Foo(Nil)), Node1(Foo(List(_, _*)))
+17: Pattern Match Exhaustivity: Node2(), Node1(Foo(Nil)), Node1(Foo(List(_, _: _*)))
 21: Pattern Match Exhaustivity: Node2(), Node1(Foo(Nil))