The tree type is the tuple type

dwijnand · dwijnand · commit 2584ffe4d8aa · 2022-03-02T10:50:46.000Z
diff --git a/compiler/src/dotty/tools/dotc/transform/PatternMatcher.scala b/compiler/src/dotty/tools/dotc/transform/PatternMatcher.scala
@@ -342,7 +342,7 @@ object PatternMatcher {
               case tp                => tp
             !defn.isTupleNType(tp)
           }
-          val components = if isGenericTuple then caseAccessors.indices.toList.map(tupleApp(unapp.tpe.finalResultType, _, ref(scrutinee))) else caseAccessors.map(tupleSel)
+          val components = if isGenericTuple then caseAccessors.indices.toList.map(tupleApp(tree.tpe.dealias, _, ref(scrutinee))) else caseAccessors.map(tupleSel)
           matchArgsPlan(components, args, onSuccess)
         else if (unapp.tpe <:< (defn.BooleanType))
           TestPlan(GuardTest, unapp, unapp.span, onSuccess)

Original file line number	Diff line number	Diff line change
`@@ -342,7 +342,7 @@ object PatternMatcher {`
`342`	`342`	`case tp => tp`
`343`	`343`	`!defn.isTupleNType(tp)`
`344`	`344`	`}`
`345`		`- val components = if isGenericTuple then caseAccessors.indices.toList.map(tupleApp(unapp.tpe.finalResultType, _, ref(scrutinee))) else caseAccessors.map(tupleSel)`
	`345`	`+ val components = if isGenericTuple then caseAccessors.indices.toList.map(tupleApp(tree.tpe.dealias, _, ref(scrutinee))) else caseAccessors.map(tupleSel)`
`346`	`346`	`matchArgsPlan(components, args, onSuccess)`
`347`	`347`	`else if (unapp.tpe <:< (defn.BooleanType))`
`348`	`348`	`TestPlan(GuardTest, unapp, unapp.span, onSuccess)`