是否可以扩展Scala编译器以推断返回类型的递归方法？

import scala.language.experimental.macros
import scala.reflect.macros.whitebox

object RecursiveMacros {
  def inferRecursiveReturnType[T]: Unit = macro inferRecursiveReturnTypeImpl[T]

  def inferRecursiveReturnTypeImpl[T: c.WeakTypeTag](c: whitebox.Context): c.Tree = {
    import c.universe._

    val methodName = "inferRecursiveReturnTypeImpl"
    val methodSymbol = c.symbol
    val methodType = methodSymbol.asMethod.info

    val tpe = weakTypeOf[T]
    val companion = tpe.typeSymbol.companion

    val tree = q"""
      $companion.${TermName(methodName)}(implicitly[${appliedType(methodType.typeConstructor, tpe.typeArgs)}])
    """

    c.typecheck(tree)
  }
}