在 intellij 中未正确推断类型

Question

我正在使用slick 的for expression，并在 intellij 的推断类型方面看到了一些奇怪之处。以下是意想不到的结果：

为什么在第二种情况下，不是Query[Int, Int]，而是变成Query[Nothing, Nothing]。我似乎丢失了一些类型信息。

Answer 1

要说什么？ IDEA 有它自己的解析器和类型器，混淆它并不难。如果您关心 IDE 和 Scala 编译器之间的保真度，那么 Scala IDE（在 Eclipse 中运行）会更适合您。

就我个人而言，我不喜欢 Eclipse，而不喜欢 IDEA Scala 插件的变幻莫测。