Macro_1.scala

//> using options -experimental

import scala.annotation.{experimental, MacroAnnotation}
import scala.quoted.*

class ImplicitValue

object ImplicitValue:
  inline given ImplicitValue =
    ${ makeImplicitValue }

  def makeImplicitValue(using Quotes) =
    import quotes.reflect.*
    '{ ImplicitValue() }
end ImplicitValue

@experimental
class Test extends MacroAnnotation:
  def transform(using Quotes)(definition: quotes.reflect.Definition): List[quotes.reflect.Definition] =
    import quotes.reflect.*
    Implicits.search(TypeRepr.of[ImplicitValue])
    List(definition)