Wrong signature for Scala 2 macro bundle selection

[bishabosha]

Minimized code

compile src-2/MacroImpl.scala with scala 2.13.2 then compile src-3/Macros.scala with the previous output on classpath

// src-2/MacroImpl.scala
class MacroImpl(val c: scala.reflect.macros.blackbox.Context) {
  import c.universe._
  def poly[T: c.WeakTypeTag]: Tree = q"${c.weakTypeOf[T].toString}"
}

// src-3/Macros.scala
import scala.language.experimental.macros

object Macros {

  object Bundles {
    def poly[T]: String = macro (new MacroImpl(null)).poly[T]
    inline def poly[T]: String = ${ Macros3.polyImpl[T] }
  }

  object Macros3 {
    def polyImpl[T: Type](using QuoteContext) = Expr(summon[Type[T]].show)
  }

}

Output

Tasty for the macro definition

def poly[T]: String = macro (new MacroImpl(null)).poly[T]

has the following signature for selecting the poly method from MacroImpl:

poly[Signed Signature(List(1, scala.Nothing),scala.reflect.api.Trees.TreeApi)]

I believe it should be:

poly[Signed Signature(List(1, scala.reflect.api.TypeTags.WeakTypeTag),scala.reflect.api.Trees.TreeApi)]

Expectation

[bishabosha]

After investigation, there is nothing here in particular to do with macros, see #8991