Merge pull request #10257 from dotty-staging/use-correct-quote-context

Use QuoteContext directly in asExprOf

Author: nicolasstucki

compiler/src/dotty/tools/dotc/quoted/QuoteContextImpl.scala

@@ -79,8 +79,8 @@ class QuoteContextImpl private (ctx: Context) extends QuoteContext, scala.intern
       end extension
 
       extension [T](self: Tree)
-        def asExprOf(using scala.quoted.Type[T])(using QuoteContext): scala.quoted.Expr[T] =
-          self.asExpr.asExprOf[T]
+        def asExprOf(using tp: scala.quoted.Type[T]): scala.quoted.Expr[T] =
+          self.asExpr.asExprOf[T](using tp)(using QuoteContextImpl.this)
       end extension
 
     end TreeMethodsImpl

library/src/scala/tasty/Reflection.scala

@@ -1,13 +1,7 @@
 package scala.tasty
 
-import scala.quoted.QuoteContext
 import scala.tasty.reflect._
 
-/** TASTy Reflect Interface.
- *
- *
- */
-
 /** TASTy Reflect Interface.
  *
  *  Provides all functionality related with AST based metaprogramming.
@@ -112,6 +106,7 @@ import scala.tasty.reflect._
  *  ```
  */
 trait Reflection { reflection =>
+  // TODO: Move Reflection inside QuoteContext as it can never be instantiated outside a QuoteContext
 
   //////////////
   // CONTEXTS //
@@ -169,9 +164,7 @@ trait Reflection { reflection =>
 
     /** Convert this tree to an `quoted.Expr[T]` if the tree is a valid expression or throws */
     extension [T](self: Tree)
-      // FIXME: remove QuoteContext from parameters
-      // TODO: Move Reflection inside QuoteContext as it can never be instantiated outside a QuoteContext
-      def asExprOf(using scala.quoted.Type[T])(using QuoteContext): scala.quoted.Expr[T]
+      def asExprOf(using scala.quoted.Type[T]): scala.quoted.Expr[T]
   }
 
   /** Tree representing a pacakage clause in the source code */