Patmat: fix sub patterns of Product-1's

DarkDimius · DarkDimius · commit 89642ec98502 · 2015-06-30T23:44:30.000+02:00
diff --git a/src/dotty/tools/dotc/transform/PatternMatcher.scala b/src/dotty/tools/dotc/transform/PatternMatcher.scala
@@ -1443,7 +1443,7 @@ class PatternMatcher extends MiniPhaseTransform with DenotTransformer {thisTrans
       // require (nbSubPats > 0 && (!lastIsStar || isSeq))
       protected def subPatRefs(binder: Symbol): List[Tree] = {
         val refs = if (totalArity > 0 && isSeq) subPatRefsSeq(binder)
-        else if (defn.isProductSubType(binder.info) && !isSeq) productElemsToN(binder, totalArity)
+        else if (binder.info.member(nme._1).exists && !isSeq) productElemsToN(binder, totalArity)
         else ref(binder):: Nil
         refs
       }

Original file line number	Diff line number	Diff line change
`@@ -1443,7 +1443,7 @@ class PatternMatcher extends MiniPhaseTransform with DenotTransformer {thisTrans`
`1443`	`1443`	`// require (nbSubPats > 0 && (!lastIsStar \|\| isSeq))`
`1444`	`1444`	`protected def subPatRefs(binder: Symbol): List[Tree] = {`
`1445`	`1445`	`val refs = if (totalArity > 0 && isSeq) subPatRefsSeq(binder)`
`1446`		`- else if (defn.isProductSubType(binder.info) && !isSeq) productElemsToN(binder, totalArity)`
	`1446`	`+ else if (binder.info.member(nme._1).exists && !isSeq) productElemsToN(binder, totalArity)`
`1447`	`1447`	`else ref(binder):: Nil`
`1448`	`1448`	`refs`
`1449`	`1449`	`}`