Symbol with top-level access boundary is not local to compilation unit

Co-Authored-By: Dale Wijnand <[email protected]>

Author: mbovel

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

@@ -1209,7 +1209,7 @@ object SymDenotations {
     final def isLocalToCompilationUnit(using Context): Boolean =
       is(Private)
       || owner.ownersIterator.takeWhile(!_.isStaticOwner).exists(_.isTerm)
-      || accessBoundary(defn.RootClass).isContainedIn(symbol.topLevelClass)
+      || accessBoundary(defn.RootClass).isProperlyContainedIn(symbol.topLevelClass)
 
     final def isTransparentClass(using Context): Boolean =
       is(TransparentType)

tests/generic-java-signatures/outer-ref-elimination.check

@@ -7,4 +7,5 @@ List(public T6$$anon$3$C6())
 List(public T7$C7$1())
 List(public T8$$anon$4$C8())
 List(public T9$C9$1(T9))
-List(public T10$C10())
+List(public T10$C10(T10))
+List(public T11$D11$C11())

tests/generic-java-signatures/outer-ref-elimination.scala

@@ -28,6 +28,8 @@ class T9 { var x = 451; def t9(): Unit = { class C9 {def getX = x}; test(classOf
 
 class T10 { private[T10] class C10; test(classOf[C10]) }
 
+class T11 { class D11 { private[D11] class C11; test(classOf[C11]) } }
+
 object Test {
   def main(args: Array[String]): Unit = {
     T1
@@ -40,5 +42,6 @@ object Test {
     new T8().t8()
     new T9().t9()
     new T10()
+    val t11 = new T11(); new t11.D11()
   }
 }