// In Test.scala
//> using scala 3.7.3

class Foo[A]

object Test:
  def traverse[F[_], A](x: F[A]): F[Any] = ???

  Macro.test(traverse[Foo, Int](Foo[Int]))

// In Macro.scala
import scala.quoted.*

object Macro:
  inline def test(inline x: Any): Unit = ${ test('x) }

  private def test(x: Expr[Any])(using Quotes): Expr[Unit] =
    x match
      case '{
        type f[X]
        Test.traverse[f, a]($_)
      } =>
        quotes.reflect.report.errorAndAbort("do not use traverse", x)
      case _ => '{}