Merge pull request #6841 from dotty-staging/remove-useless-implicit

Remove useless implicit

Author: nicolasstucki

library/src/scala/quoted/QuoteContext.scala

@@ -49,11 +49,5 @@ class QuoteContext(val tasty: scala.tasty.Reflection) {
 }
 
 object QuoteContext {
-  // TODO remove in 0.18
-  // For backward compat with macros
-  @deprecated("Provide scala.quoted.QuoteContext instead of using a scala.tasty.Reflection", "0.17")
-  implicit def reflectionToQuoteContext(implicit reflect: tasty.Reflection): scala.quoted.QuoteContext =
-    new scala.quoted.QuoteContext(reflect)
-
   def macroContext: QuoteContext = throw new Exception("Not in inline macro.")
 }

tests/neg/quotedPatterns-5.scala

@@ -1,5 +1,6 @@
+import scala.quoted._
 object Test {
-  def test(x: quoted.Expr[Int]) given tasty.Reflection = x match {
+  def test(x: quoted.Expr[Int]) given QuoteContext = x match {
     case '{ type $t; poly[$t]($x); 4 } => ??? // error: duplicate pattern variable: $t
     case '{ type `$t`; poly[`$t`]($x); 4 } =>
       val tt: quoted.Type[_] = t // error

tests/pos/quote-matching-implicit-types.scala

@@ -2,7 +2,7 @@ import scala.quoted._
 
 object Foo {
 
-  def f(e: Expr[Any]) given tasty.Reflection : Unit = e match {
+  def f(e: Expr[Any]) given QuoteContext: Unit = e match {
     case '{ foo[$t]($x) } => bar(x)
     case '{ foo[$t]($x) } if bar(x) => ()
     case '{ foo[$t]($x) } => '{ foo($x) }

tests/pos/quoted-pattern-type.scala

@@ -3,7 +3,7 @@ import scala.tasty.Reflection
 
 object Lib {
 
-  def impl[T: Type](arg: Expr[T])(implicit refl: Reflection): Expr[T] = {
+  def impl[T: Type](arg: Expr[T]) given QuoteContext: Expr[T] = {
     arg match {
       case e @ '{ $x: Boolean } =>
         e: Expr[T & Boolean]