Regression in inkytonik/kiama

[WojciechMazur]

Based on Open CB failure, build logs: https://github.com/VirtusLab/community-build3/actions/runs/5626149769/job/15248249692

Compiler version

Fails in 3.3.2-RC1-bin-20230720-98b452d-NIGHTLY
Works with: 3.3.1-RC4
Bisect points to: 0f7c3ab

Minimized code

import scala.language.implicitConversions

case class Assign(left: String, right: String)
class SyntaxAnalyser extends ParsersBase {
  val x: Parser[String ~ String] = ???
  val y: Parser[Assign] = x.map(Assign.apply)
}

class ParsersBase {
  trait ~[+T, +U]
  abstract class Parser[+T]:
    def map[U](f: T => U): Parser[U] = ???

  given [A, B, X]: Conversion[(A, B) => X, (A ~ B) => X] = ???
}

Output

-- [E086] Syntax Error: /Users/wmazur/projects/sandbox/main.scala:6:32 ---------
6 |  val y: Parser[Assign] = x.map(Assign.apply(_,_))
  |                                ^^^^^^^^^^^^^^^^^
  |                                Wrong number of parameters, expected: 1
1 error found

Expectation

Should be able to compile code, by applying the implicit conversion

[nicolasstucki]

Minimized

import scala.language.implicitConversions

def foo(a: Int): Int = ???
def bar(f: () => Int): Int = ???

given f: Conversion[Int => Int, () => Int] = ???

def test1: Int = bar(foo) // error: implicit conversion not triggered
def test2: Int = bar(f(foo)) // ok