Fix #9916: Round-trip through sourceModule in scalacLinkedClass

.github/workflows/ci.yaml

@@ -126,7 +126,7 @@ jobs:
   community_build:
     runs-on: [self-hosted, Linux]
     container: lampepfl/dotty:2020-04-24
-
+    if: false
     steps:
       - name: Checkout cleanup script
         uses: actions/checkout@v2
@@ -167,11 +167,6 @@ jobs:
   test_sbt:
     runs-on: [self-hosted, Linux]
     container: lampepfl/dotty:2020-04-24
-    if: (
-          github.event_name == 'push' &&
-          startsWith(github.event.ref, 'refs/tags/')
-        ) ||
-        github.event_name == 'schedule'
 
     steps:
       - name: Checkout cleanup script

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

@@ -1176,7 +1176,7 @@ object SymDenotations {
 
     final def scalacLinkedClass(using Context): Symbol =
       if (this.is(ModuleClass)) companionNamed(effectiveName.toTypeName)
-      else if (this.isClass) companionNamed(effectiveName.moduleClassName)
+      else if (this.isClass) companionNamed(effectiveName.moduleClassName).sourceModule.moduleClass
       else NoSymbol
 
     /** Find companion class symbol with given name, or NoSymbol if none exists.

sbt-dotty/sbt-test/scala2-compat/finagle/build.sbt

@@ -0,0 +1,4 @@
+scalaVersion := sys.props("plugin.scalaVersion")
+
+libraryDependencies +=
+  ("com.twitter" %% "finagle-core" % "20.9.0").withDottyCompat(scalaVersion.value)

sbt-dotty/sbt-test/scala2-compat/finagle/i9916.scala

@@ -0,0 +1,10 @@
+import com.twitter.finagle.Stack
+import com.twitter.finagle.liveness.FailureAccrualFactory
+
+trait T {
+  def p: FailureAccrualFactory.Param
+}
+
+class A {
+  val t = Stack.Param[FailureAccrualFactory.Param](FailureAccrualFactory.Param(???))
+}

sbt-dotty/sbt-test/scala2-compat/finagle/project/plugins.sbt

@@ -0,0 +1 @@
+addSbtPlugin("ch.epfl.lamp" % "sbt-dotty" % sys.props("plugin.version"))

sbt-dotty/sbt-test/scala2-compat/finagle/test

@@ -0,0 +1 @@
+> compile

sbt-dotty/sbt-test/scala2-compat/i9916a/build.sbt

@@ -0,0 +1,15 @@
+val scala3Version = sys.props("plugin.scalaVersion")
+val scala2Version = "2.13.3"
+
+lazy val `i9916a-lib` = (project in file ("lib"))
+  .settings(scalaVersion := scala2Version)
+
+lazy val `i9916a-test` = (project in file ("main"))
+  .dependsOn(`i9916a-lib`)
+  .settings(
+    scalaVersion := scala3Version,
+    // https://github.com/sbt/sbt/issues/5369
+    projectDependencies := {
+      projectDependencies.value.map(_.withDottyCompat(scalaVersion.value))
+    }
+  )

sbt-dotty/sbt-test/scala2-compat/i9916a/lib/i9916a-lib.scala

@@ -0,0 +1,7 @@
+package i9916a
+
+object Lib {
+  trait P
+  object P
+  def P(x: Int): P = ???
+}

sbt-dotty/sbt-test/scala2-compat/i9916a/main/i9916a-test.scala

@@ -0,0 +1,5 @@
+import i9916a.Lib
+
+trait Test {
+  def foo: Lib.P
+}

sbt-dotty/sbt-test/scala2-compat/i9916a/project/plugins.sbt

@@ -0,0 +1 @@
+addSbtPlugin("ch.epfl.lamp" % "sbt-dotty" % sys.props("plugin.version"))

sbt-dotty/sbt-test/scala2-compat/i9916a/test

@@ -0,0 +1 @@
+> i9916a-test/compile

sbt-dotty/sbt-test/scala2-compat/i9916b/build.sbt

@@ -0,0 +1,15 @@
+val scala3Version = sys.props("plugin.scalaVersion")
+val scala2Version = "2.13.3"
+
+lazy val `i9916b-lib` = (project in file ("lib"))
+  .settings(scalaVersion := scala2Version)
+
+lazy val `i9916b-test` = (project in file ("main"))
+  .dependsOn(`i9916b-lib`)
+  .settings(
+    scalaVersion := scala3Version,
+    // https://github.com/sbt/sbt/issues/5369
+    projectDependencies := {
+      projectDependencies.value.map(_.withDottyCompat(scalaVersion.value))
+    }
+  )

sbt-dotty/sbt-test/scala2-compat/i9916b/lib/i9916b-lib.scala

@@ -0,0 +1,7 @@
+package i9916b
+
+trait T {
+  class A
+  object A
+  def A(x: Int): Unit = ???
+}

sbt-dotty/sbt-test/scala2-compat/i9916b/main/i9916b-test.scala

@@ -0,0 +1,5 @@
+import i9916b.T
+
+trait Test {
+  def foo: T
+}

sbt-dotty/sbt-test/scala2-compat/i9916b/project/plugins.sbt

@@ -0,0 +1 @@
+addSbtPlugin("ch.epfl.lamp" % "sbt-dotty" % sys.props("plugin.version"))

sbt-dotty/sbt-test/scala2-compat/i9916b/test

@@ -0,0 +1 @@
+> i9916b-test/compile