Use searchImplicit and searchImplicitExpr

Author: nicolasstucki

compiler/src/dotty/tools/dotc/tastyreflect/KernelImpl.scala

@@ -1856,7 +1856,7 @@ class KernelImpl(val rootContext: core.Contexts.Context, val rootPosition: util.
 
   type ImplicitSearchResult = Tree
 
-  def findImplicitFor(tpe: Type)(implicit ctx: Context): ImplicitSearchResult =
+  def searchImplicit(tpe: Type)(implicit ctx: Context): ImplicitSearchResult =
     ctx.typer.inferImplicitArg(tpe, rootPosition.span)
 
   type ImplicitSearchSuccess = Tree

docs/docs/reference/metaprogramming/macros.md

@@ -572,13 +572,13 @@ sum
 ### Find implicits within a macro
 
 Similarly to the `implicit match` construct, it is possible to make implicit search available
-in a quote context. For this we simply provide `scala.quoted.matching.getImplicitExpr:
+in a quote context. For this we simply provide `scala.quoted.matching.searchImplicitExpr:
 
 ```scala
 inline def setFor[T]: Set[T] = ${ setForExpr[T] }
 
 def setForExpr[T: Type] given QuoteContext: Expr[Set[T]] = {
-  getImplicitExpr[Ordering[T]] match {
+  searchImplicitExpr[Ordering[T]] match {
     case Some(ord) => '{ new TreeSet[T]()($ord) }
     case _ => '{ new HashSet[T] }
   }

library/src-3.x/scala/quoted/matching/package.scala

@@ -10,9 +10,9 @@ package object matching {
    *  @param tpe quoted type of the implicit parameter
    *  @param qctx current context
    */
-  def getImplicitExpr[T] given (tpe: Type[T], qctx: QuoteContext): Option[Expr[T]] = {
+  def searchImplicitExpr[T] given (tpe: Type[T], qctx: QuoteContext): Option[Expr[T]] = {
     import qctx.tasty._
-    findImplicitFor(tpe.unseal.tpe) match {
+    searchImplicit(tpe.unseal.tpe) match {
       case IsImplicitSearchSuccess(iss) => Some(iss.tree.seal.asInstanceOf[Expr[T]])
       case IsImplicitSearchFailure(isf) => None
     }

library/src/scala/tasty/reflect/ImplicitsOps.scala

@@ -2,8 +2,8 @@ package scala.tasty.reflect
 
 trait ImplicitsOps extends Core {
 
-  def findImplicitFor(tpe: Type)(implicit ctx: Context): ImplicitSearchResult =
-    kernel.findImplicitFor(tpe)
+  def searchImplicit(tpe: Type)(implicit ctx: Context): ImplicitSearchResult =
+    kernel.searchImplicit(tpe)
 
   object IsImplicitSearchSuccess {
     def unapply(isr: ImplicitSearchResult)(implicit ctx: Context): Option[ImplicitSearchSuccess] =

library/src/scala/tasty/reflect/Kernel.scala

@@ -1537,6 +1537,6 @@ trait Kernel {
    *  @param tpe type of the implicit parameter
    *  @param ctx current context
    */
-  def findImplicitFor(tpe: Type)(implicit ctx: Context): ImplicitSearchResult
+  def searchImplicit(tpe: Type)(implicit ctx: Context): ImplicitSearchResult
 
 }

tests/neg-macros/delegate-match-1/Macro_1.scala

@@ -5,7 +5,7 @@ inline def f: Any = ${ fImpl }
 
 private def fImpl given (qctx: QuoteContext): Expr[Unit] = {
   import qctx.tasty._
-  findImplicitFor(('[A]).unseal.tpe) match {
+  searchImplicit(('[A]).unseal.tpe) match {
     case IsImplicitSearchSuccess(x) =>
       '{}
     case IsDivergingImplicit(x) => '{}

tests/neg-macros/delegate-match-2/Macro_1.scala

@@ -5,7 +5,7 @@ inline def f: Any = ${ fImpl }
 
 private def fImpl given (qctx: QuoteContext): Expr[Unit] = {
   import qctx.tasty._
-  findImplicitFor(('[A]).unseal.tpe) match {
+  searchImplicit(('[A]).unseal.tpe) match {
     case IsImplicitSearchSuccess(x) =>
       '{}
     case IsDivergingImplicit(x) => '{}

tests/neg-macros/delegate-match-3/Macro_1.scala

@@ -5,7 +5,7 @@ inline def f: Any = ${ fImpl }
 
 private def fImpl given (qctx: QuoteContext): Expr[Unit] = {
   import qctx.tasty._
-  findImplicitFor(('[A]).unseal.tpe) match {
+  searchImplicit(('[A]).unseal.tpe) match {
     case IsImplicitSearchSuccess(x) =>
       '{}
     case IsDivergingImplicit(x) => '{}

tests/run-macros/quote-implicitMatch/Macro_1.scala

@@ -6,7 +6,7 @@ import scala.quoted.matching._
 inline def f1[T]() = ${ f1Impl[T] }
 
 def f1Impl[T: Type] given QuoteContext = {
-  getImplicitExpr[Ordering[T]] match {
+  searchImplicitExpr[Ordering[T]] match {
     case Some(ord) => '{ new TreeSet[T]()($ord) }
     case _ => '{ new HashSet[T] }
   }
@@ -18,7 +18,7 @@ class B
 inline def g = ${ gImpl }
 
 def gImpl given QuoteContext = {
-  if (getImplicitExpr[A].isDefined) '{ println("A") }
-  else if (getImplicitExpr[B].isDefined) '{ println("B") }
+  if (searchImplicitExpr[A].isDefined) '{ println("A") }
+  else if (searchImplicitExpr[B].isDefined) '{ println("B") }
   else throw new MatchError("")
 }