Disable mapJavaArgs when rechecking Apply nodes

It seems it's no longer needed.

Author: odersky

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

@@ -253,13 +253,16 @@ abstract class Recheck extends Phase, SymTransformer:
       sym.typeRef
 
     /** Assuming `formals` are parameters of a Java-defined method, remap Object
-     *  to FromJavaObject since it got lost in ElimRepeated
+     *  to FromJavaObject since it got lost in ElimRepeated.
+     *  NOTE: It seems this is no longer true, and `mapJavaArgs` is not needed.
+     *  The invocation is currently disabled in recheckApply.
      */
     private def mapJavaArgs(formals: List[Type])(using Context): List[Type] =
       val tm = new TypeMap with IdempotentCaptRefMap:
-        def apply(t: Type) = t match
-          case t: TypeRef if t.symbol == defn.ObjectClass => defn.FromJavaObjectType
-          case _ => mapOver(t)
+        def apply(t: Type) =
+          t match
+            case t: TypeRef if t.symbol == defn.ObjectClass => defn.FromJavaObjectType
+            case _ => mapOver(t)
       formals.mapConserve(tm)
 
     /** Hook for method type instantiation */
@@ -274,7 +277,8 @@ abstract class Recheck extends Phase, SymTransformer:
         case fntpe: MethodType =>
           assert(fntpe.paramInfos.hasSameLengthAs(tree.args))
           val formals =
-            if tree.symbol.is(JavaDefined) then mapJavaArgs(fntpe.paramInfos)
+            if false && tree.symbol.is(JavaDefined) // see NOTE in mapJavaArgs
+            then mapJavaArgs(fntpe.paramInfos)
             else fntpe.paramInfos
           def recheckArgs(args: List[Tree], formals: List[Type], prefs: List[ParamRef]): List[Type] = args match
             case arg :: args1 =>