IntelliJ IDEA出现Scala语法错误，但通过sbt成功编译

我在程序中定义了一个变量

import cats.data.{Kleisli, Xor, XorT}
val a = Kleisli[XorT[TwitterFuture, Exception, ?], String, Int] = Kleisli { (s: String) =>
XorT[TwitterFuture, Exception, Int](TwitterFuture(Xor.Right(123)))
}

my build.sbt：

addCompilerPlugin("org.scalamacros" % "paradise"         % "2.1.0" cross CrossVersion.full)
addCompilerPlugin("org.spire-math"  % "kind-projector"   % "0.8.0" cross CrossVersion.binary)
addCompilerPlugin("com.milessabin"  % "si2712fix-plugin" % "1.2.0" cross CrossVersion.full)

IntelliJ IDEA上出现了“类型不匹配”错误，这非常奇怪。

类型不匹配，应为：（NotInferedA）=>NotInferedF[NotInferedB]，实际：（String）=>XorT[TwitterFuture，Exception，Int]

但是我成功地执行了

sbt编译

，没有任何错误

我的IntelliJ IDEA版本：

2016.2.2

有人知道这是怎么回事吗？

---

如何解决这个问题？

Intellij scala插件很棒，但繁重的scala代码（type/implicits/macros magic）仍然没有正确处理。您可以在中创建票证或为现有票证投票，并等待插件补丁

---

您也可以自己修补：。

Intellij scala插件很棒，但是繁重的scala代码（类型/隐式/宏魔术）仍然没有正确处理。您可以在中创建票证或为现有票证投票，并等待插件补丁

您也可以自己修补它：