为什么Scala在与@匹配模式时不会推断类型参数

下面的代码说明了我遇到的一个例子.我有一个case类,它使用名为MyMessage的id包装消息.它使用消息类型进行参数化.然后我有一个名为MyPayload的有效负载,其中包含一个String.

在一个actor(这里我只是使用一个名为MyObject的常规对象,因为问题不是特定于akka)我是模式匹配并调用一个对我的有效负载类型MyPayload进行操作的函数.

package so

case class MyMessage[T](id:Long,payload:T)
case class MyPayload(s:String)

object MyObject {
  def receive:PartialFunction[Any,Unit] = {
    case m @ MyMessage(id,MyPayload(s)) =>

      // Doesn't compile
      processPayload(m)

      // Compiles
      processPayload(MyMessage(id,MyPayload(s)))
  }

  def processPayload(m:MyMessage[MyPayload]) = {
    println(m)
  }
}

由于我不理解的原因,使用@和未应用的case类进行模式修补不会推断出MyMessage [T]的类型参数.在上面的代码中,我原本预计m会有MyMessage [MyPayload]类型.但是,当我编译时,它认为类型是MyMessage [Any].

[error] PatternMatch.scala:9: type mismatch;
[error]  found   : so.MyMessage[Any]
[error]  required: so.MyMessage[so.MyPayload]
[error] Note: Any >: so.MyPayload,but class MyMessage is invariant in type T.
[error] You may wish to define T as -T instead. (SLS 4.5)
[error]       processPayload(m)
[error]                      ^
[error] one error found
[error] (compile:compile) Compilation failed
[error] Total time: 1 s,completed Aug 19,2014 12:08:04 PM

这是预期的行为吗？如果是这样,我对Scala中的类型推断有什么误解？