scala – 为什么用模式匹配收集不能缩小特定类？

sealed trait AB
case class A(a: Int) extends AB
case class B(b: Int) extends AB

我试图收集将集合限制为特定的子类.

如果我尝试收集,匹配单个组件并重新组合元组：

scala> Seq.empty[(Int,AB)].collect { case (id,a @ A(_))  => (id,a) } : Seq[(Int,A)]
res6: Seq[(Int,ab.A)] = List()

编译器很高兴,但如果尝试返回完整匹配：

scala> Seq.empty[(Int,AB)].collect { case x @ (_,A(_))  => x } : Seq[(Int,A)]

事情变得丑陋：

<console>:27: error: type mismatch;
 found   : Seq[(Int,ab.AB)]
 required: Seq[(Int,ab.A)]
       Seq.empty[(Int,A)]

为什么Scala编译器无法处理第二种情况？