No inferred types for apply signatureHelp

[rochala]

Compiler version

3.1.3-RC3

Minimized code

At the moment compiler only supports inferred generic types for unapply signature help. We should change it to properly infer types for normal function applications.

object M:
  Option(1).fold($m1

Output

fold[B](ifEmpty: => B)(f: A => B): B

Expectation

fold[B](ifEmpty: => B)(f: Int => B): B