java - 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

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