笛卡尔积 |@|不在 IntelliJ 中工作

Cartesian product |@| not working in IntelliJ

这与 sbt 编译得很好:

  val a: ValidatedNel[String, Int] = 10.valid

  a |@| a

但在 IntelliJ 中,它显示为错误:

这使得使用 Cats 处理功能性错误非常不方便。我所有的 "IDE-compile-time" 类型安全都消失了;这使得代码使用起来非常痛苦,因为 intellij 会不断地告诉你你已经 "messed up"(即使代码非常好)。

是否有另一种不会让 IntelliJ 崩溃的写法?例如,intellij 是否理解 |@| 的别名?

此外,有谁知道为什么 IntelliJ 不理解语法 - 它完全理解 |+|语法:

此问题已在最新的 IntelliJ-Scala 版本中得到解决: https://youtrack.jetbrains.com/issue/SCL-10237