Also disalow unbound wildcard type in pattern expr

OlivierBlanvillain · OlivierBlanvillain · commit 8968cc1124b0 · 2021-07-31T08:50:51.000+02:00
diff --git a/compiler/src/dotty/tools/dotc/parsing/Parsers.scala b/compiler/src/dotty/tools/dotc/parsing/Parsers.scala
@@ -1822,7 +1822,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 ------------------------------------------------ */
diff --git a/tests/neg/12261.scala b/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
diff --git a/tests/pos/9239.scala b/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)

Original file line number	Diff line number	Diff line change
`@@ -9,3 +9,7 @@ type M1[X] = X match {`
`9`	`9`	`type M2[X] = X match {`
`10`	`10`	`case Any => ? // error: Unbound wildcard type`
`11`	`11`	`}`
	`12`	`+`
	`13`	`+val a = "" match { case _: _ => () } // error: Unbound wildcard type`
	`14`	`+`
	`15`	`+val b = try { } catch { case _: _ => () } // error: Unbound wildcard type`