Fix #2265: Make new symbols for inlined module proxies.

Author: nicolasstucki

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

@@ -366,9 +366,11 @@ class Inliner(call: tpd.Tree, rhs: tpd.Tree)(implicit ctx: Context) {
     case tpe: ThisType
     if !ctx.owner.isContainedIn(tpe.cls) && !tpe.cls.is(Package) &&
        !thisProxy.contains(tpe.cls) =>
-      if (tpe.cls.isStaticOwner)
-        thisProxy(tpe.cls) = tpe.cls.sourceModule.termRef
-      else {
+      if (tpe.cls.isStaticOwner) {
+        val proxyName = s"${tpe.cls.name}_module".toTermName
+        val proxyType = tpe.cls.sourceModule.termRef
+        thisProxy(tpe.cls) = newSym(proxyName, EmptyFlags, proxyType).termRef
+      } else {
         val proxyName = s"${tpe.cls.name}_this".toTermName
         val proxyType = tpe.asSeenFrom(prefix.tpe, meth.owner)
         thisProxy(tpe.cls) = newSym(proxyName, EmptyFlags, proxyType).termRef

tests/run/inline-object.check

@@ -0,0 +1 @@
+bar

tests/run/inline-object.scala

@@ -0,0 +1,14 @@
+
+object Test {
+  def main(args: Array[String]): Unit = {
+    Foo.foo
+  }
+}
+
+object Foo extends Bar {
+  inline def foo: Unit = bar
+}
+
+class Bar {
+  def bar: Unit = println("bar")
+}