build.sbt

scalaVersion := "3.6.4"

Foo.scala

import scala.quoted.*

object Foo {
  inline def f[A](inline x: A): List[(String, String)] = ${ impl('x) }

  def impl[A](using q: Quotes)(x: Expr[A]): Expr[List[(String, String)]] = {
    import q.reflect.*
    x.asTerm match {
      case Inlined(_, _, Block(_, Match(_, i :: Nil))) =>
        i match {
          case CaseDef(TypedOrTest(t: Unapply, _), _ , _) =>
            val values = t.patterns.map {
              case Bind(a, TypedOrTest(_,b)) =>
                (a, b.tpe.show)
            }
            Expr(values)
        }
    }
  }
}

main.scala

@main def main(): Unit = {
  val x: Any = 2
  val result = Foo.f{
    x match {
      case (foo: Int, bar: String) => 3
    }
  }
  println(result)
  assert(result == List("foo" -> "scala.Int", "bar" -> "scala.Predef.String"))
}