[Solved]-Partial application of Scala macros-scala

type Lambda

def foo2[A]: Unit = macro impl[A, {type A = Option[Int]}]

def impl[A: c.WeakTypeTag, B: c.WeakTypeTag](c: blackbox.Context): c.Expr[Unit] = {
  import c.universe._
  //Option[Int]
  println(c.weakTypeOf[B].members.find(_.isType).get.typeSignature)
  reify(())
}