Use QuoteContext.NestedContext

Author: nicolasstucki

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

@@ -101,9 +101,7 @@ trait QuotesAndSplices {
       //  * Provide meaningful names for QuoteContext synthesized by within `${ ... }`
       val qctxParamName = NameKinds.UniqueName.fresh(s"qctx${level - 1}_".toTermName)
       val qctxParamTpe = topQuoteContext match {
-        case Some(qctxRef) =>
-          val reflectTpe = qctxRef.tpe.select(defn.QuoteContextClass.requiredValue("tasty"))
-          RefinedType(defn.QuoteContextClass.typeRef, "tasty".toTermName, reflectTpe)
+        case Some(qctxRef) => qctxRef.tpe.select("NestedContext".toTypeName)
         case _ => defn.QuoteContextClass.typeRef
       }
       val qctxParamTpt = untpd.TypedSplice(TypeTree(qctxParamTpe))

library/src/scala/quoted/QuoteContext.scala

@@ -10,7 +10,10 @@ import scala.quoted.show.SyntaxHighlight
  *
  *  @param tasty Typed AST API. Usage: `def f(qctx: QuoteContext) = { import qctx.tasty.{_, given}; ... }`.
  */
-class QuoteContext(val tasty: scala.tasty.Reflection) {
+class QuoteContext(val tasty: scala.tasty.Reflection) { self =>
+
+  // TODO
+  type NestedContext = QuoteContext { val tasty: self.tasty.type }
 
   def show(expr: Expr[_], syntaxHighlight: SyntaxHighlight): String = {
     import tasty.{_, given}