scala - Intellij-scala-plugin 2017.3.11.1 在编辑器中突出显示错误，但可以编译

Question

我在 IntelliJ CE 2017.3 的 Intellij-scala-plugin 2017.3.11.1 中遇到了一个奇怪的问题

以下代码在 sbt 中编译，但在 Intellij Scala 编辑器中，有一个错误突出显示为附图。

trait Schema[+T, K, G] {
  def group: G
  def toList: List[T]
  def export: List[T]
}

trait Visitor[S[+T], +T, K, G] {
  def export[B >: T](physicalStore: S[B]): List[B]
  def toList[B >: T](physicalStore: S[B]): List[B]
}

case class FlatSchema[S[+T], +T, K, G](group: G, physicalStore: S[T], visitor: Visitor[S, T, K, G]) extends Schema[T, K, G] {
  override def toList: List[T] = visitor.toList[T](physicalStore)
  override def export: List[T] = visitor.export[T](physicalStore)
}

class ContainerVisitor[S[+T] <: List[Schema[T, K, G]], +T, K, G] extends Visitor[S, T, K, G] {
  override def export[B >: T](physicalStore: S[B]): List[B] = physicalStore.flatMap(_.export)
  override def toList[B >: T](physicalStore: S[B]): List[B] = physicalStore.flatMap(_.toList)
}

我在 IntelliJ 中使用 Scalac 选项进行了如下配置：

在我的 build.sbt 文件中，我启用了

scalacOptions ++= Seq("-language:higherKinds")

如何修复 IntelliJ 上的配置，或者这是 IntelliJ Scala 插件的问题？