Fix incremental compilation when inline method signature changes

Author: smarter

bridge/src/sbt-test/source-dependencies/inline/A.scala

@@ -0,0 +1,3 @@
+object A {
+  def get: Int = 1
+}

bridge/src/sbt-test/source-dependencies/inline/C.scala

@@ -0,0 +1,5 @@
+object C {
+  def test: Unit = {
+    val i: Int = B.getInline
+  }
+}

bridge/src/sbt-test/source-dependencies/inline/changes/B1.scala

@@ -0,0 +1,4 @@
+object B {
+  @inline def getInline: Int =
+    A.get
+}

bridge/src/sbt-test/source-dependencies/inline/changes/B2.scala

@@ -0,0 +1,4 @@
+object B {
+  @inline def getInline: Double =
+    A.get
+}

bridge/src/sbt-test/source-dependencies/inline/project/DottyInjectedPlugin.scala

@@ -0,0 +1,17 @@
+import sbt._
+import Keys._
+
+object DottyInjectedPlugin extends AutoPlugin {
+  override def requires = plugins.JvmPlugin
+  override def trigger = allRequirements
+
+  override val projectSettings = Seq(
+    scalaVersion := "0.1-SNAPSHOT",
+    scalaOrganization := "ch.epfl.lamp",
+    scalacOptions += "-language:Scala2",
+    scalaBinaryVersion  := "2.11",
+    autoScalaLibrary := false,
+    libraryDependencies ++= Seq("org.scala-lang" % "scala-library" % "2.11.5"),
+    scalaCompilerBridgeSource := ("ch.epfl.lamp" % "dotty-bridge" % "0.1.1-SNAPSHOT" % "component").sources()
+  )
+}

bridge/src/sbt-test/source-dependencies/inline/test

@@ -0,0 +1,6 @@
+$ copy-file changes/B1.scala B.scala
+> compile
+
+$ copy-file changes/B2.scala B.scala
+# Compilation of C.scala should fail because B.getInline now has type Double instead of Int
+-> compile

src/dotty/tools/dotc/sbt/ExtractDependencies.scala

@@ -190,6 +190,10 @@ private class ExtractDependenciesCollector(implicit val ctx: Context) extends tp
               addUsedName(rename)
           case _ =>
         }
+      case Inlined(call, _, _) =>
+        // The inlined call is normally ignored by TreeTraverser but we need to
+        // record it as a dependency
+        traverse(call)
       case t: TypeTree =>
         usedTypeTraverser.traverse(t.tpe)
       case ref: RefTree =>