Scalaの構文のIntelliJ IDEAでの誤差が、SBT

Question

経由で正常にコンパイルが、私は私のプログラムで変数を定義し

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))) 
} 

私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で「不一致」エラーが発生しました。 Type mismatch, expected: (NotInferedA) => NotInferedF[NotInferedB], actual: (String) => XorT[TwitterFuture, Exception, Int]

私はsbt compileを実行しましたが、何のエラーもありませんでした。

私のIntelliJ IDEAのバージョン：2016.2.2

誰かがこのような状況で何が起こっているか知っていますか？ 問題を解決するにはどうすればよいですか？

Answer 1

Intellij scalaプラグインは素晴らしいですが、ヘビースケーラコード（タイプ/ implicits/macros magic）はまだ正しく処理されません。 https://youtrack.jetbrains.com/oauth?state=%2Fissues%2FIDEAでチケットを作成するか、既存のものに投票して、プラグインパッチを待つことができます。

また、自分でパッチすることもできます：https://github.com/JetBrains/intellij-scala。