Merge pull request #11503 from dotty-staging/fix-11502

Fix #11052: use latest varargs pattern syntax

Author: liufengyun

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

@@ -762,9 +762,9 @@ class SpaceEngine(using Context) extends SpaceLogic {
         if (ctx.definitions.isTupleType(tp))
           params(tp).map(_ => "_").mkString("(", ", ", ")")
         else if (scalaListType.isRef(sym))
-          if (flattenList) "_: _*" else "_: List"
+          if (flattenList) "_*" else "_: List"
         else if (scalaConsType.isRef(sym))
-          if (flattenList) "_, _: _*"  else "List(_, _: _*)"
+          if (flattenList) "_, _*"  else "List(_, _*)"
         else if (tp.classSymbol.is(Sealed) && tp.classSymbol.hasAnonymousChild)
           "_: " + showType(tp) + " (anonymous)"
         else if (tp.classSymbol.is(CaseClass) && !hasCustomUnapply(tp.classSymbol))

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)
 50: Pattern Match Exhaustivity: (Bar2, Bar2)

tests/patmat/i2363.check

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

tests/patmat/t10019.check

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

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: (List(_, _: _*), Nil), (Nil, List(_, _: _*))
+2: Pattern Match Exhaustivity: (List(_, _*), Nil), (Nil, List(_, _*))

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/virtpatmat_apply.check

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