Merge pull request #13137 from dwijnand/patmat-dep

Deskolemise patterns to suppress exhaustivity warnings

Author: abgruszecki

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

@@ -354,11 +354,8 @@ class SpaceEngine(using Context) extends SpaceLogic {
     case pat: Ident if isBackquoted(pat) =>
       Typ(pat.tpe, decomposed = false)
 
-    case Ident(nme.WILDCARD) =>
-      Typ(erase(pat.tpe.stripAnnots, isValue = true), decomposed = false)
-
     case Ident(_) | Select(_, _) =>
-      Typ(erase(pat.tpe.stripAnnots, isValue = true), decomposed = false)
+      Typ(erase(pat.tpe.stripAnnots.widenSkolem, isValue = true), decomposed = false)
 
     case Alternative(trees) =>
       Or(trees.map(project(_)))

tests/patmat/i13110.scala

@@ -0,0 +1,12 @@
+object Test {
+  sealed trait Base
+  class Blub extends Base
+  object Blub {
+    def unapply(blub: Blub): Some[(Int, blub.type)] =
+      Some(1 -> blub)
+  }
+
+  (null: Base) match {
+    case Blub(i, x) => println(i)
+  }
+}