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。 我只嘗試了安全刪除變體，這允許我刪除兩個條目中的一個，另一個確實產生錯誤並且沒有被刪除。 但這似乎解決了這個問題。