class Test {
  def foo[T: Numeric]: String ?=> T = summon[Numeric[T]].fromInt(summon[String].length)
}

package <empty> {
  class Test() extends Object() {
    def foo[T >: Nothing <: Any](implicit evidence$1: Numeric[T]):
      (String) ?=> T =
      {
        def $anonfun(using evidence$1: String): T =
          evidence$1.fromInt(evidence$1.length())
        closure($anonfun)
      }
  }
}

    86:         BLOCK(57)
    88:           LAMBDA(2)
    90:             TERMREFdirect 92
    92:           DEFDEF(51) 23 [$anonfun]
    95:             PARAM(4) 17 [[Unique evidence$ 1]]
    98:               SHAREDtype 76
   100:               GIVEN
   101:             SHAREDtype 65
   103:             APPLY(38)
   105:               SELECTin(17) 27 [fromInt[Signed Signature(List(scala.Int),java.lang.Object) @fromInt]]
   108:                 INLINED(10)
   110:                   INLINED(2)
   112:                     TERMREFdirect 50  // ref to the parameter evidence$1
   114:                   IDENTtpt 28 [Predef[ModuleClass]]
   116:                     TYPEREF 28 [Predef[ModuleClass]]
   118:                       SHAREDtype 30
   120:                 TYPEREF 18 [Numeric]
   122:                   TERMREFpkg 30 [scala[Qualified . math]]
   124:               APPLY(17)
   126:                 SELECTin(15) 32 [length[Signed Signature(List(),scala.Int) @length]]
   129:                   INLINED(8)
   131:                     INLINED(2)
   133:                       TERMREFdirect 95 // ref to the parameter evidence$1
   135:                     IDENTtpt 28 [Predef[ModuleClass]]
   137:                       SHAREDtype 116
   139:                   TYPEREF 21 [String]
   141:                     SHAREDtype 20

package <empty> {
  @SourceFile("Test.scala") class Test extends Object {
    def <init>(): Unit =
      {
        super()
        ()
      }
    @ContextResultCount(1) def foo(implicit evidence$1: scala.math.Numeric,
      evidence$1: String): Object = evidence$1.fromInt(evidence$1.length())
  }
}