Scala:错误类型推断？

Question

下面是我的原始代码的一个简化版本，以使事情变得更简单(抱歉，它仍然有点复杂)：

trait BuilderBase
trait MessageBase {
  type Builder <: BuilderBase
}
class SomeMessage extends MessageBase {
  type Builder = SomeMessage.Builder
}
object SomeMessage {
  class Builder extends BuilderBase
}
class Covariant[+T]
class NonCovariant[T]
def func[T <: MessageBase](value: Covariant[T]): Covariant[T#Builder] = null

val message: Covariant[SomeMessage] = null
val result: Covariant[SomeMessage.Builder] = func(message)

最后一行在func(→ message ← here)处出现错误时无法编译

类型错配；发现: CovariantSomeMessage必需: CovariantSomeMessage.type

当然，func接受的是MessageBase子类T的协变量参数，所需的是CovariantSomeMessage而不是CovariantSomeMessage.type，因为SomeMessage.type (伙伴对象的类型SomeMessage)不符合MessageBase。

奇怪的是，如果没有类型注释(例如，val result = func(message) )，错误就会消失，结果的类型与CovariantSomeMessage.Builder的含义完全相同。因此，它在正确的类型注释中失败了。这是个虫子吗？

另一条线索是，并不是所有的协变量都被NonConvariant所取代。所以它可能与协方差有关。如有任何建议或帮助，将不胜感激。

我知道，在这里，一些小的调整可以解决这个特定的问题，例如，简单地省略类型注释可能就是其中之一。但是，如果我能够获得更多关于编译器中的实际情况的线索，这将是非常有帮助的，例如，给出一些命令行选项。

Answer 1

我也不知道原因，但为了给@AssafMendelson的答案提供一个小小的替代方案，下面的工作也是有效的：

trait BuilderBase

trait MessageBase {
  type Builder <: BuilderBase
}
class SomeMessage extends MessageBase {
  type Builder = BuilderBase {}
}

class Covariant[+T]
class NonCovariant[T]
def func[T <: MessageBase](value: Covariant[T]): Covariant[T#Builder] = null

val message: Covariant[SomeMessage] = null
val result: Covariant[SomeMessage#Builder] = func(message)

因此，基本上，与同伴对象中的类定义不同，只需在类中定义它。

Answer 2

我认为问题在于编译器会被类型参数Builder和类Builder混淆。

基本上，SomeMessage.Builder可以同时引用继承的类型和对象，但是它首先尝试实例，然后才尝试对象。

我尝试了一个简单的更改:我将类构建器更改为builder2 (以及对它的相关引用)，它似乎起作用了。