Consistent erasure for Java method signatures
Consistent erasure for Java method signatures

Use Jave erasure to compute the result type part of Java method
signatures too. I don't think that two distinct non-bridge Java
overloads can only differ in their result type so this shouldn't fix
anything, but it's more consistent.

sjrd/dotty,sjrd/dotty,dotty-staging/dotty,lampepfl/dotty,lampepfl/dotty,lampepfl/dotty,sjrd/dotty,dotty-staging/dotty,lampepfl/dotty,dotty-staging/dotty,lampepfl/dotty,dotty-staging/dotty,sjrd/dotty,sjrd/dotty,dotty-staging/dotty