Also disalow unbound wildcard type in pattern expr

Author: OlivierBlanvillain

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

@@ -1821,7 +1821,7 @@ object Parsers {
 
     def typeDependingOn(location: Location): Tree =
       if location.inParens then typ()
-      else if location.inPattern then refinedType()
+      else if location.inPattern then rejectWildcardType(refinedType())
       else infixType()
 
 /* ----------- EXPRESSIONS ------------------------------------------------ */

tests/neg/12261.scala

@@ -9,3 +9,7 @@ type M1[X] = X match {
 type M2[X] = X match {
   case Any => ? // error: Unbound wildcard type
 }
+
+val a = "" match { case _: _ => () } // error: Unbound wildcard type
+
+val b = try { } catch { case _: _ => () } // error: Unbound wildcard type