Compilation hangs when trying to resolve a context function with multiple implicit parameters

[neko-kai]

Minimized code

object x { 
  def xa[a, b, c, X, Y](
    f: X => ((a, b, c) ?=> Y),
    x: Any, 
    y: Any
  ) = { 
    println(f(y.asInstanceOf)(using x.asInstanceOf, x.asInstanceOf, x.asInstanceOf))
    (x: X) => (a: a, b: b, c: c) => f(x)(using a, b, c)
  }
}

def superxa(using String, Int, Option[Boolean]): Nothing = {
  implicitly[String] + implicitly[Int] + implicitly[Option[Boolean]] 
  ???
}

@main def main = 
  x.xa(Function.const(superxa)(_: Int), Nil, 5) // this line causes hang

https://scastie.scala-lang.org/G4oNvGFESFa3yyXkn5ICgg

Output

scalac superxa.scala
> // never returns

/

timed out after 30 seconds when running code

Expectation

Expected to work

[b-studios]

I could confirm the issue and minimize the example a bit further to

def xa[A, B, X, Y](f: X => ((A, B) ?=> Y)) = 
  (z: X) => (a: A, b: B) => f(z)(using a, b)

// will hang
def superxa(using String, Int): Nothing = ???

// will raise an error
// [error] 14 |  xa(Function.const(superxa)(_: Int)) // this line causes hang
// [error]    |                           ^
// [error]    |ambiguous implicit arguments: both value evidence$2 and value evidence$1 match type String of parameter x$1 of method superxa in
def superxa(using String, Int): Unit = ???

def main = 
  xa(Function.const(superxa)(_: Int)) // this line causes hang

Note that the variant with Nothing as return type diverges, whereas Unit reports the above error.