Diferença entre inferência de tipo de método e parâmetros de tipo de classe na correspondência de padrões

Por que a correspondência de padrões funciona de maneira diferente quando o parâmetro type é proveniente de um método de fechamento em oposição a uma classe de fechamento? Por exemplo, trait Base[T] case class Derived(v: Int) extends Base[Int] class Test[A] { def method(arg: Base[A]) = { arg...