TypeMismatchError compiling inline infix method with this

[japgolly]

Compiler version

3.0.0-RC1

Minimized code

type Callback = CallbackTo[Unit]

final class CallbackTo[+A] { self =>

  def >>[B](y: CallbackTo[B]): CallbackTo[B] =
    ???

  inline def *>[B](z: CallbackTo[B]): CallbackTo[B] =
    >>(z)

  def qwe: CallbackTo[A] = {
    def x: Callback = ???
    val hmmm = this

    x *> this // error
    x *> self // error
    x *> hmmm // ok

    ???
  }
}

Output

-- [E007] Type Mismatch Error: x.scala:15:4 ------------------------------------
15 |    x *> this // error
   |    ^^^^^^^^^
   |    Found:    (CallbackTo_this : Callback)
   |    Required: CallbackTo[A]
-- [E007] Type Mismatch Error: x.scala:16:4 ------------------------------------
16 |    x *> self // error
   |    ^^^^^^^^^
   |    Found:    (CallbackTo_this : Callback)
   |    Required: CallbackTo[A]

Expectation

It should compile.

[smarter]

x *> this gets inlined to:

        {
          val CallbackTo_this: Callback = x
          CallbackTo_this.>>[A](CallbackTo_this):CallbackTo[Unit]
        }

so this was incorrectly substituted by a completely different variable, and that was only caught because they had a different type, this looks fairly serious to me so I'm putting it in the RC2 milestone but I'll let @nicolasstucki decide if that's fixable by then or not.

[odersky]

I'll take a look