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。我只尝试了安全删除变体，这允许我删除两个条目之一，另一个确实产生了错误并且未被删除。但这似乎已经解决了问题。