IntelliJ IDEA 13给出了关于不兼容类型的无效错误（Play中的Java-Scala-InterOp）

Question

我刚刚从IDEA 12升级到13（社区版），从那时起我在IDEA中遇到了关于我的游戏项目的不兼容类型的错误。

Option<String> authHeaderOption = requestHeader.headers().get(AUTHORIZATION);

requestHeader的类型为play.api.mvc.RequestHeader。 错误消息指出：

Incompatible types. Found: 'scala.Option<java.lang.String>', required: 'scala.Option<java.lang.String>

所以它抱怨类型不兼容，但同时表明必需和找到的类型是相同的。

从Play控制台运行应用程序时，一切正常，因此编译工作正常。

该错误发生在调用scala play api的java类中。 在升级IntelliJ之前没有这样的错误因此它必须是IDE问题，但我还没弄清楚到底是什么。

有没有人见过这种错误？

Answer 1

点击“文件 - >无效缓存/重新启动...”菜单项。

Answer 2

如上面的评论中所述，您可以通过点击删除键删除库条目下列出的jar。 我只尝试了安全删除变体，这允许我删除两个条目中的一个，另一个确实产生错误并且没有被删除。 但这似乎解决了这个问题。