为什么intellij不接受这个scala代码

Question

以下代码使用nsc编译得很好：

trait A {
  type B[+T]
  type C[+T] <: B[T]
  def c: C[Int]
}

object Q {
  val a: A = ???
  val b: a.B[Int] = a.c
}

但是intellij并没有接受错误消息

  

Q.a.C[Int]类型的表达式不符合预期类型Q.a.B[Int]

为什么会这样？是否在IntelliJ中允许Scala的哪个子集定义？