Context bound desugared at the wrong place in extension method

Compiler version

3.0.0-RC1

Minimized code

trait Conv[T]

extension [T: Conv](x: T)
  def combine (y: T): T = ???

Compiler output with -Xprint:typer

    extension [T >: Nothing <: Any](x: T) def combine(y: T)(
      implicit evidence$1: test.Conv[T]
    ): T = ???

Expectation

    extension [T >: Nothing <: Any](x: T)(using x$2: test.Conv[T]) def combine(
      y: T
    ): T = ???

, obtained with “using” syntax:

extension [T](x: T)(using Conv[T])
  def combine (y: T): T = ???

[prolativ]

@odersky IMHO the suggested desugaring makes more sense and it still makes it possible to pass Conv[T] explicitly although the order of arguments would be different

"abc".combine(using given_Conv_String)("def")

[rjolly]

@odersky I understand it if you don’ have time for this, but can we keep the issue open so that others can take over. Thanks!