Fix #9392. Allow override java defined methods which have a field with same name

compiler/src/dotty/tools/dotc/core/Denotations.scala

@@ -623,7 +623,7 @@ object Denotations {
           relaxed && !symbol.is(JavaDefined)
         case ParamMatch =>
           relaxed
-        case noMatch =>
+        case NoMatch =>
           false
       if matches then this else NoDenotation
 
@@ -981,7 +981,7 @@ object Denotations {
         case ParamMatch =>
            // The signatures do not tell us enough to be sure about matching
           !ctx.erasedTypes && info.matches(other.info)
-        case noMatch =>
+        case NoMatch =>
           false
     end matches
 

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

@@ -40,7 +40,22 @@ object OverridingPairs {
      *  relative to <base>.this do
      */
     protected def matches(sym1: Symbol, sym2: Symbol): Boolean =
-      sym1.isType || sym1.asSeenFrom(self).matches(sym2.asSeenFrom(self))
+      // Similar to dotty.tools.dotc.core.Denotations.SingleDenotation.matches
+      // But in case MethodNotAMethodMatch, sym2 must not be a JavaDefined field
+      def symMatches =
+        val d1 = sym1.asSeenFrom(self)
+        val d2 = sym2.asSeenFrom(self)
+        import Signature.MatchDegree._
+        d1.signature.matchDegree(d2.signature) match
+          case FullMatch => true
+          case NoMatch => false
+          case MethodNotAMethodMatch =>
+            !ctx.erasedTypes && !d2.symbol.is(JavaDefinedVal, butNot = Method)
+          case ParamMatch =>
+            !ctx.erasedTypes && d1.info.matches(d2.info)
+
+      sym1.isType || symMatches
+    end matches
 
     /** The symbols that can take part in an overriding pair */
     private val decls = {

tests/pos/i9392/J.java

@@ -0,0 +1,4 @@
+public class J {
+    int i = 0;
+    int i() { return 1; }
+}

tests/pos/i9392/S.scala

@@ -0,0 +1,3 @@
+class S extends J {
+  override def i(): Int = 2
+}