Inline IFT method synthetic $direct, is not considered as isInlinedMethod

[biboudis]

object Test {
  class Test  {
    class Context(val t: Boolean)

    type Contextual[T] = given Context => T

    inline def f(): Contextual[Boolean] = the[Context].t

    implied ctx for Context = new Context(true)

    f()
  }
}

raises

11 |    inline def f(): Contextual[Boolean] = the[Context].t
   |                                          ^^^
   |                   method the is declared as erased, but is in fact used