Remove GivenMatch from reflection API

Author: nicolasstucki

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

@@ -795,29 +795,6 @@ class QuoteContextImpl private (using val ctx: Context) extends QuoteContext, Qu
       end extension
     end MatchMethodsImpl
 
-    type GivenMatch = tpd.Match
-
-    object GivenMatchTypeTest extends TypeTest[Tree, GivenMatch]:
-      def unapply(x: Tree): Option[GivenMatch & x.type] = x match
-        case x: (tpd.Match & x.type) if x.selector.isEmpty => Some(x)
-        case _ => None
-    end GivenMatchTypeTest
-
-    object GivenMatch extends GivenMatchModule:
-      def apply(cases: List[CaseDef]): GivenMatch =
-        withDefaultPos(tpd.Match(tpd.EmptyTree, cases))
-      def copy(original: Tree)(cases: List[CaseDef]): GivenMatch =
-        tpd.cpy.Match(original)(tpd.EmptyTree, cases)
-      def unapply(x: GivenMatch): Option[List[CaseDef]] =
-        Some(x.cases)
-    end GivenMatch
-
-    object GivenMatchMethodsImpl extends GivenMatchMethods:
-      extension (self: GivenMatch):
-        def cases: List[CaseDef] = self.cases
-      end extension
-    end GivenMatchMethodsImpl
-
     type Try = tpd.Try
 
     object TryTypeTest extends TypeTest[Tree, Try]:

compiler/src/scala/quoted/runtime/impl/printers/Extractors.scala

@@ -95,8 +95,6 @@ object Extractors {
         this += "Closure(" += meth += ", " += tpt += ")"
       case Match(selector, cases) =>
         this += "Match(" += selector += ", " ++= cases += ")"
-      case GivenMatch(cases) =>
-        this += "GivenMatch(" ++= cases += ")"
       case Return(expr, from) =>
         this += "Return(" += expr += ", " += from += ")"
       case While(cond, body) =>

compiler/src/scala/quoted/runtime/impl/printers/SourceCode.scala

@@ -486,10 +486,6 @@ object SourceCode {
         this += highlightKeyword(" match")
         inBlock(printCases(cases, lineBreak()))
 
-      case GivenMatch(cases) =>
-        this += highlightKeyword("given match")  // TODO: drop
-        inBlock(printCases(cases, lineBreak()))
-
       case Try(body, cases, finallyOpt) =>
         this += highlightKeyword("try ")
         printTree(body)

library/src/scala/quoted/QuoteContext.scala

@@ -578,7 +578,6 @@ trait QuoteContext { self: runtime.QuoteUnpickler & runtime.QuoteMatching =>
       */
       def unique(qualifier: Term, name: String): Select
 
-      // TODO rename, this returns an Apply and not a Select
       /** Call an overloaded method with the given type and term parameters */
       def overloaded(qualifier: Term, name: String, targs: List[TypeRepr], args: List[Term]): Apply
 
@@ -1031,35 +1030,6 @@ trait QuoteContext { self: runtime.QuoteUnpickler & runtime.QuoteMatching =>
       end extension
     end MatchMethods
 
-    /** Tree representing a pattern match `given match { ... }` in the source code */  // TODO: drop
-    type GivenMatch <: Term
-
-    given TypeTest[Tree, GivenMatch] = GivenMatchTypeTest
-    protected val GivenMatchTypeTest: TypeTest[Tree, GivenMatch]
-
-    /** Scala implicit `match` term */
-    val GivenMatch: GivenMatchModule
-
-    trait GivenMatchModule { this: GivenMatch.type =>
-
-      /** Creates a pattern match `given match { <cases: List[CaseDef]> }` */
-      def apply(cases: List[CaseDef]): GivenMatch
-
-      def copy(original: Tree)(cases: List[CaseDef]): GivenMatch
-
-      /** Matches a pattern match `given match { <cases: List[CaseDef]> }` */
-      def unapply(x: GivenMatch): Option[List[CaseDef]]
-    }
-
-    given GivenMatchMethods as GivenMatchMethods = GivenMatchMethodsImpl
-    protected val GivenMatchMethodsImpl: GivenMatchMethods
-
-    trait GivenMatchMethods:
-      extension (self: GivenMatch):
-        def cases: List[CaseDef]
-      end extension
-    end GivenMatchMethods
-
     /** Tree representing a try catch `try x catch { ... } finally { ... }` in the source code */
     type Try <: Term