Fix generic signatures of generic methods

We ignored the case where a `MethodType` had another `MethodType` as
result type. This commit fixes the issue by collecting the parameters of
the result type if it is a `MethodType`, recursively.

Fixes #3411

Author: Duhemm

compiler/src/dotty/tools/dotc/transform/GenericSignatures.scala

@@ -239,9 +239,14 @@ object GenericSignatures {
           methodResultSig(restpe)
 
         case mtpe: MethodType =>
+          def allParamTypes(mtpe: MethodType): List[Type] =
+            mtpe.resultType match {
+              case restpe: MethodType => mtpe.paramInfos ::: allParamTypes(restpe)
+              case _ => mtpe.paramInfos
+            }
           // phantom method parameters do not make it to the bytecode.
-          val params = mtpe.paramInfos.filterNot(_.isPhantom)
-          val restpe = mtpe.resultType
+          val params = allParamTypes(mtpe).filterNot(_.isPhantom)
+          val restpe = mtpe.finalResultType
           builder.append('(')
           // TODO: Update once we support varargs
           params.foreach { tp =>

tests/generic-java-signatures/i3411.check

@@ -0,0 +1 @@
+public <U> float Foo$.foo(int,java.lang.String,long,boolean,U,java.lang.String,java.lang.Object)

tests/generic-java-signatures/i3411.scala

@@ -0,0 +1,10 @@
+object Foo {
+  def foo[U](i: Int, s: String, x: Long)(c: Boolean, a: U, d: String)(e: Object): Float = 0.0f
+}
+
+object Test {
+  def main(args: Array[String]): Unit = {
+    val f1 = Foo.getClass.getMethods.find(_.getName.endsWith("foo")).get
+    println(f1.toGenericString)
+  }
+}