Inferred type in infer method code action should infer generics correctly

[tgodzik]

Describe the bug

trait Main {
  def main() = {
    val list = List((1, 2, 3))
    // def otherMethod(arg0: (T1, T2, T3)) = ??? <- this will be inferred
    list.map(otherMethod)
  }
}

Expected behavior

trait Main {
  def main() = {
    val list = List((1, 2, 3))
    def otherMethod(arg0: (Int, Int, Int)) = ???
    list.map(otherMethod)
  }
}

Operating system

None

Editor/Extension

VS Code

Version of Metals

1.4.2-SNAPSHOT

Extra context or search terms

Follow up from #6877

[tgodzik]

Another case to tackle is:

object O{
  val ig = new IGO {}
  ig.news
}

trait IGO

EDIT: fixed

[tgodzik]

And another:

trait Main {
    def method1(b: Double, s : String) = 123

    case class User(i : Int)

    def otherMethod(arg0: Any, arg1: Int) = ???
    otherMethod(User(1), 1)
}

[tgodzik]

Another case to tackle is:

object O{
  val ig = new IGO {}
  ig.news
}

trait IGO

This one is fixed