Wrap type of accessors pointing to a module class into a TermRef

Author: jchyb

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

@@ -141,8 +141,13 @@ abstract class AccessProxies {
         if accessorClass.is(Package) then
           accessorClass = ctx.owner.topLevelClass
         val accessorName = accessorNameOf(accessed.name, accessorClass)
+        val mappedInfo = accessed.info match
+          // TypeRef pointing to module class seems to not be stable, so we remap that to a TermRef
+          // see test i22593.scala (and issue #i22593)
+          case tref @ TypeRef(prefix, _) if tref.symbol.is(Module) => TermRef(prefix, tref.symbol.companionModule)
+          case other => other
         val accessorInfo =
-          accessed.info.ensureMethodic.asSeenFrom(accessorClass.thisType, accessed.owner)
+          mappedInfo.ensureMethodic.asSeenFrom(accessorClass.thisType, accessed.owner)
         val accessor = accessorSymbol(accessorClass, accessorName, accessorInfo, accessed)
         rewire(reference, accessor)
       }

tests/pos/i22593.scala

@@ -0,0 +1,16 @@
+import scala.quoted.*
+
+package jam {
+  trait JamCoreDsl {
+    implicit inline def defaultJamConfig: this.JamConfig =
+      new JamConfig(brewRecRegex = ".*")
+    class JamConfig(val brewRecRegex: String)
+    inline def brew(implicit inline config: JamConfig): Unit = ???
+  }
+  private object internal extends JamCoreDsl
+  export internal._
+}
+
+object test {
+  jam.brew
+}