为什么编译器不能推断包对象的类型参数（虽然它对于对象工作正常）？

Question

Scala 2.11.4

Foo.scala

trait Echo [T] {
  def echo(t: T): Unit
}

trait IntEcho extends Echo[Int] {
  def echo(t: Int) = println(t)
}

object echo extends IntEcho
package object echo1  extends IntEcho

在我编译该文件并将其加载到scala repl之后，我做了以下测试

scala> :t echo.echo _ Int => Unit

scala> :t echo1.echo _ T => Unit

为什么T没有解析为Int？

Answer 1

原来这是一个错误，请参阅此issue了解详情