SAM Lambdas Don't Work With Contextual Parameters

[AugustNagro]

Compiler version

3.0.0-RC1

Minimized code

trait MySAM:
  def sam(i: Int)(using String): Unit

def m(mySam: MySAM): Unit =
  val s = "number: "
  mySam.sam(1)(using s)

m(i => println(summon[String] + i))

Output

no implicit argument of type String was found for parameter x of method summon in object Predef

Expectation

One could define a Context Function to do the same thing:

type MySAM = String ?=> Int => Unit

def m(mySam: MySAM): Unit =
  val s = "number: "
  mySam(using s)(1)

m(i => println(summon[String] + i))

However 2 functions is less efficient than the single SAM.