Explicitly provide the given QuoteContext of the splice

 * Avoids leaking implementation details of scala.internal.quoted.CompileTime.exprSplice,
   such as exprSplice taking a ?=> function argument
 * Provide meaningful names for QuoteContext synthesized by within `${ ... }`

Author: nicolasstucki

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

@@ -83,7 +83,20 @@ trait QuotesAndSplices {
           else if (!c.outer.owner.is(Package)) markAsMacro(c.outer)
         markAsMacro(ctx)
       }
-      typedApply(untpd.Apply(untpd.ref(defn.InternalQuoted_exprSplice.termRef), tree.expr), pt)(spliceContext).withSpan(tree.span)
+
+      // Explicitly provide the given QuoteContext of the splice.
+      //  * Avoids leaking implementation details of scala.internal.quoted.CompileTime.exprSplice,
+      //    such as exprSplice taking a ?=> function argument
+      //  * Provide meaningful names for QuoteContext synthesized by within `${ ... }`
+      //  * TODO preserve QuoteContext.tasty path dependent type (see comment below and #8045)
+      val qctxParamName = NameKinds.UniqueName.fresh(s"qctx${level - 1}_".toTermName)
+      // TODO: Refine QuoteContext with the tasty context that the quote reacived
+      //       If encoloseing quote recieves `qctx` then this type should be `QuoteContext { val tasty: qxtx.tasty.type }`
+      val qctxParamTpt = untpd.TypedSplice(TypeTree(defn.QuoteContextClass.typeRef))
+      val qctxParam = untpd.makeParameter(qctxParamName, qctxParamTpt, untpd.Modifiers(Given))
+      val expr = untpd.Function(List(qctxParam), tree.expr).withSpan(tree.span)
+
+      typedApply(untpd.Apply(untpd.ref(defn.InternalQuoted_exprSplice.termRef), expr), pt)(spliceContext).withSpan(tree.span)
     }
   }