Fix #13223: Disalow ? in match types pats/bodies

Author: OlivierBlanvillain

compiler/src/dotty/tools/dotc/parsing/Parsers.scala

@@ -2620,11 +2620,11 @@ object Parsers {
             val start = in.skipToken()
             Ident(tpnme.WILDCARD).withSpan(Span(start, in.lastOffset, start))
           case _ =>
-            infixType()
+            rejectWildcardType(infixType())
         }
       }
       CaseDef(pat, EmptyTree, atSpan(accept(ARROW)) {
-        val t = typ()
+        val t = rejectWildcardType(typ())
         if in.token == SEMI then in.nextToken()
         newLinesOptWhenFollowedBy(CASE)
         t

tests/neg/12261.scala

@@ -0,0 +1,11 @@
+type M0[X] = X match {
+  case ? => String // error: Unbound wildcard type
+}
+
+type M1[X] = X match {
+  case Any => _ // error: Unbound wildcard type
+}
+
+type M2[X] = X match {
+  case Any => ? // error: Unbound wildcard type
+}

tests/pos/9239.scala

@@ -24,5 +24,5 @@ object ABug:
     N match
       case Zero => One
       case One => One
-      case ? => ![--[N]] × (N)
+      case _ => ![--[N]] × (N)
       case ? :: ? => ![--[N]] × (N)