[vpm] suppress refchecks in matches

didn't realize this was done for the old pattern matcher, so now we have "feature"-parity

we still infer bad type arguments for type patterns -- see e.g., pos/t602.scala --
also, inference changes when you turn a case class into
the corresponding class&companion object, with the same unapply as the synthetic one

TODO: can we merge inferConstructorInstance & inferTypedPattern,
or at least make them behave consistently?

1 files changed, 6 insertions, 0 deletions

diff --git a/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala b/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala
index d98d248231..013a74da7e 100644
--- a/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala
+++ b/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala
@@ -1625,12 +1625,18 @@ abstract class RefChecks extends InfoTransform with reflect.internal.transform.R
 
           case _ => tree
         }
+        // skip refchecks in patterns....
         result = result match {
           case CaseDef(pat, guard, body) =>
             inPattern = true
             val pat1 = transform(pat)
             inPattern = false
             treeCopy.CaseDef(tree, pat1, transform(guard), transform(body))
+          case LabelDef(_, _, _) if gen.hasSynthCaseSymbol(result) =>
+            inPattern = true
+            val res = deriveLabelDef(result)(transform)
+            inPattern = false
+            res
           case _ =>
             super.transform(result)
         }