Invalidate package's member cache when entering a toplevel definition

Invalidate enclosing package's member cache when entering a toplevel definition in
a wrapper package object.

Author: odersky

Diff for: compiler/src/dotty/tools/dotc/core/SymDenotations.scala

@@ -1726,11 +1726,16 @@ object SymDenotations {
     }
 
     /** Enter a symbol in given `scope` without potentially replacing the old copy. */
-    def enterNoReplace(sym: Symbol, scope: MutableScope)(implicit ctx: Context): Unit = {
+    def enterNoReplace(sym: Symbol, scope: MutableScope)(given Context): Unit =
       scope.enter(sym)
-      if (myMemberCache != null) myMemberCache.invalidate(sym.name)
-      if (!sym.flagsUNSAFE.is(Private)) invalidateMemberNamesCache()
-    }
+      invalidateMemberCaches(sym)
+
+    def invalidateMemberCaches(sym: Symbol)(given Context): Unit =
+      if myMemberCache != null then myMemberCache.invalidate(sym.name)
+      else if !sym.flagsUNSAFE.is(Private) then
+        invalidateMemberNamesCache()
+        if sym.owner.isPackageObject then
+          sym.owner.owner.asClass.invalidateMemberCaches(sym)
 
     /** Replace symbol `prev` (if defined in current class) by symbol `replacement`.
      *  If `prev` is not defined in current class, do nothing.
@@ -2123,6 +2128,7 @@ object SymDenotations {
           if (pcls.isCompleting) recur(pobjs1, acc)
           else {
             val pmembers = pcls.computeNPMembersNamed(name).filterWithPredicate { d =>
+              // Drop members of `Any` and `Object`
               val owner = d.symbol.maybeOwner
               (owner ne defn.AnyClass) && (owner ne defn.ObjectClass)
             }