Also fix inside Some

Author: eejbyfeldt

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

@@ -602,7 +602,7 @@ object SpaceEngine {
           if (arity > 0)
             productSelectorTypes(resTp, unappSym.srcPos)
           else {
-            val getTp = extractorMemberType(resTp, nme.get, unappSym.srcPos)
+            val getTp = extractorMemberType(resTp, nme.get, unappSym.srcPos).stripNamedTuple
             if (argLen == 1) getTp :: Nil
             else productSelectorTypes(getTp, unappSym.srcPos)
           }

tests/pos/i23158.scala renamed to tests/pos/i23158a.scala

@@ -0,0 +1,11 @@
+//> using options -Werror
+
+object Unpack {
+  final case class Pair(a: Int, b: Int)
+  def unapply(e: Pair): (a: Int, b: Int) = ???
+
+  val x: Pair = ???
+  x match {
+    case Unpack(_, _) => ???
+  }
+}

tests/pos/i23158b.scala

@@ -0,0 +1,11 @@
+//> using options -Werror
+
+object Unpack {
+  final case class Pair(a: Int, b: Int)
+  def unapply(e: Pair): Some[(a: Int, b: Int)] = ???
+
+  val x: Pair = ???
+  x match {
+    case Unpack(_, _) => ???
+  }
+}