Remove duplicated code

Author: nicolasstucki

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

@@ -124,14 +124,10 @@ object QuoteMatcher {
 
   private def withEnv[T](env: Env)(body: Env ?=> T): T = body(using env)
 
-  def termMatch(scrutineeTerm: Tree, patternTerm: Tree)(using Context): Option[Tuple] =
+  def treeMatch(scrutineeTerm: Tree, patternTerm: Tree)(using Context): Option[Tuple] =
     given Env = Map.empty
     scrutineeTerm =?= patternTerm
 
-  def typeTreeMatch(scrutineeTypeTree: Tree, patternTypeTree: Tree)(using Context): Option[Tuple] =
-    given Env = Map.empty
-    scrutineeTypeTree =?= patternTypeTree
-
   /** Check that all trees match with `mtch` and concatenate the results with &&& */
   private def matchLists[T](l1: List[T], l2: List[T])(mtch: (T, T) => Matching): Matching = (l1, l2) match {
     case (x :: xs, y :: ys) => mtch(x, y) &&& matchLists(xs, ys)(mtch)

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

@@ -2935,11 +2935,8 @@ class QuotesImpl private (using val ctx: Context) extends Quotes, QuoteUnpickler
         ctx1.gadt.addToConstraint(typeHoles)
         ctx1
 
-    val matchings =
-      if pat1.isType then QuoteMatcher.termMatch(scrutinee, pat1)(using ctx1)
-      else QuoteMatcher.termMatch(scrutinee, pat1)(using ctx1)
+    val matchings = QuoteMatcher.treeMatch(scrutinee, pat1)(using ctx1)
 
-    // val matchings = matcher.termMatch(scrutinee, pattern)
     if typeHoles.isEmpty then matchings
     else {
       // After matching and doing all subtype checks, we have to approximate all the type bindings