Simplification: Inline givenReflection

Author: odersky

compiler/src/dotty/tools/dotc/typer/Typer.scala

@@ -1948,7 +1948,7 @@ class Typer extends Namer
             fun = ref(defn.QuotedMatcher_unapplyR).appliedToType(patType),
             implicits =
               ref(defn.InternalQuoted_exprQuoteR).appliedToType(shape.tpe).appliedTo(shape) ::
-              givenReflection(tree.span) :: Nil,
+              implicitArgTree(defn.TastyReflectionType, tree.span) :: Nil,
             patterns = splicePat :: Nil,
             proto = pt)
         }
@@ -1979,9 +1979,6 @@ class Typer extends Namer
   def patternHole(splice: Tree)(implicit ctx: Context): Tree =
     ref(defn.InternalQuoted_patternHoleR).appliedToType(splice.tpe).withSpan(splice.span)
 
-  def givenReflection(span: Span)(implicit ctx: Context): Tree =
-    implicitArgTree(defn.TastyReflectionType, span)
-
   /** Translate `${ t: Expr[T] }` into expression `t.splice` while tracking the quotation level in the context */
   def typedSplice(tree: untpd.Splice, pt: Type)(implicit ctx: Context): Tree = track("typedSplice") {
     checkSpliceOutsideQuote(tree)