Match erased parameters

Author: zeptometer

compiler/src/scala/quoted/runtime/impl/QuoteMatcher.scala

@@ -383,6 +383,12 @@ object QuoteMatcher {
             case scrutinee @ DefDef(_, paramss1, tpt1, _) =>
               pattern match
                 case pattern @ DefDef(_, paramss2, tpt2, _) =>
+                  def matchErasedParams(scrutinee: DefDef, pattern: DefDef): optional[MatchingExprs] =
+                    (scrutinee.tpe.widenTermRefExpr, pattern.tpe.widenTermRefExpr) match
+                      case (sctpe: MethodType, pttpe: MethodType) =>
+                        if sctpe.erasedParams.sameElements(pttpe.erasedParams) then matched else notMatched
+                      case _ => notMatched
+
                   def matchParamss(scparamss: List[ParamClause], ptparamss: List[ParamClause])(using Env): optional[(Env, MatchingExprs)] =
                     (scparamss, ptparamss) match {
                       case (scparams :: screst, ptparams :: ptrest) =>
@@ -394,9 +400,12 @@ object QuoteMatcher {
                       case _ => notMatched
                     }
 
+                  val ematch = matchErasedParams(scrutinee, pattern)
                   val (pEnv, pmatch) = matchParamss(paramss1, paramss2)
                   val defEnv = pEnv + (scrutinee.symbol -> pattern.symbol)
-                  pmatch
+
+                  ematch
+                  &&& pmatch
                   &&& withEnv(defEnv)(tpt1 =?= tpt2)
                   &&& withEnv(defEnv)(scrutinee.rhs =?= pattern.rhs)
                 case _ => notMatched