Merge pull request #8812 from dotty-staging/fix-#8801

Fix #8801: Update registeredCompanion when mapping symbols

Author: nicolasstucki

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

@@ -17,6 +17,7 @@ import util.Spans._
 import DenotTransformers._
 import StdNames._
 import NameOps._
+import transform.SymUtils._
 import NameKinds.LazyImplicitName
 import ast.tpd
 import tpd.{Tree, TreeProvider, TreeOps}
@@ -351,6 +352,8 @@ trait Symbols { thisCtx: Context =>
           info = completer,
           privateWithin = ttmap1.mapOwner(odenot.privateWithin), // since this refers to outer symbols, need not include copies (from->to) in ownermap here.
           annotations = odenot.annotations)
+        copy.registeredCompanion =
+          copy.registeredCompanion.subst(originals, copies)
       }
 
       copies.foreach(_.ensureCompleted()) // avoid memory leak

tests/pos/i8801.scala

@@ -0,0 +1,9 @@
+object Foo:
+ locally {
+    case class Baz()
+  }
+
+class Foo2 {
+  def foo(x: Any = 3, y: Any = 9): Any = x
+  val a = foo(y = { case class Bar(x: Int) }, x = ())
+}