Scalaのimplicitなものをimportした時のコンパイラの挙動が謎い。 仕様確認してないけど、仕様通りなの…？ CompileErrorになるコードを2.8 / 2.9 で試してもコンパイルエラーだった。

CanCompile.scala

// Implicitを上に書くとコンパイルできる

object Implicits {
  implicit val v = 10
}

object ImplicitTest {
  import Implicits._

  def main(args: Array[String]): Unit = {
    s
  }

  def s(implicit a: Int): Int = a

}

CanCompile2.scala

// Implicitを下に書いても、vを参照するとコンパイルできる

object ImplicitTest {
  import Implicits._

  def main(args: Array[String]): Unit = {
    v
    
    s
  }

  def s(implicit a: Int): Int = a
}

object Implicits {
  implicit val v = 10
}

CompileError.scala

// コンパイルエラー

object ImplicitTest {
  import Implicits._

  def main(args: Array[String]): Unit = {
    s
  }

  def s(implicit a: Int): Int = a
}

object Implicits {
  implicit val v = 10
}