Merge pull request #13108 from dotty-staging/fix-13106

Suppress "no outer defs" check for Java sources

Author: Kordyjan

compiler/src/dotty/tools/dotc/typer/Typer.scala

@@ -382,7 +382,8 @@ class Typer extends Namer
               if !curOwner.is(Package) || isDefinedInCurrentUnit(defDenot) then
                 result = checkNewOrShadowed(found, Definition) // no need to go further out, we found highest prec entry
                 found match
-                  case found: NamedType if curOwner.isClass && isInherited(found.denot) =>
+                  case found: NamedType
+                  if curOwner.isClass && isInherited(found.denot) && !ctx.compilationUnit.isJava =>
                     checkNoOuterDefs(found.denot, ctx, ctx)
                   case _ =>
               else

tests/pos/i13106.java

@@ -0,0 +1,7 @@
+final class A {
+  public static final class C { }
+  public static final class D {
+    public static final class C { }
+    public C foo() { return new C(); }
+  }
+}