Scala:方法上的非法循环继承

在对magnet模式和隐式解析顺序进行了一些指示之后，我在magnet类上遇到了一个奇怪的模式匹配问题。在第一个示例中，我得到了关于非法循环继承的错误，但通过切换模式匹配，我没有：

sealed trait SeqOrFun[T1, T2]
case class SeqMagnet[T](itr: Iterable[T]) extends SeqOrFun[T, T]
case class FunMagnet[T1, T2](f: (T1 => T2)) extends SeqOrFun[T1, T2]

def unfurl[T1, T2](x: SeqOrFun[T1, T2], y: SeqOrFun[T1, T2]): (Iterable[T1], Iterable[T2]) = {
  (x, y) match {
    case (SeqMagnet(xs: Iterable[T1]), FunMagnet(yf: (T1 => T2))) => (xs, xs.map(yf))
  }
}

导致：

<console>:14: error: illegal cyclic inheritance involving unfurl
           case (SeqMagnet(xs: Iterable[T1]), FunMagnet(yf: (T1 => T2))) => (xs, xs.map(yf))
                             ^
<console>:14: error: illegal cyclic inheritance involving unfurl
           case (SeqMagnet(xs: Iterable[T1]), FunMagnet(yf: (T1 => T2))) => (xs, xs.map(yf))
                          ^
<console>:14: error: illegal cyclic inheritance involving unfurl
           case (SeqMagnet(xs: Iterable[T1]), FunMagnet(yf: (T1 => T2))) => (xs, xs.map(yf))
                                              ^
<console>:13: error: illegal cyclic inheritance involving unfurl
         (x, y) match {

由谁来编译

<console>:13: warning: match may not be exhaustive.
It would fail on the following input: (FunMagnet(Function1()), FunMagnet(_))
         (x, y) match {
         ^
unfurl: [T1, T2](x: SeqOrFun[T1,T2], y: SeqOrFun[T1,T2])(Iterable[T1], Iterable[T2])

：13:警告：匹配可能并不详尽。
它将在以下输入上失败：（FunMagnet（Function1（）），FunMagnet（33;））
（x，y）匹配{
^
展开：[T1，T2]（x:sekorfun[T1，T2]，y:sekorfun[T1，T2]）（可编[T1]，可编[T2]）

（唯一的变化是

case（SeqMagnet（xs:Iterable[T1]）、FunMagnet（yf:（T1=>T2））=>（xs，xs.map（yf））

到

case（FunMagnet（xf：（T2=>T1）），SeqMagnet（ys:Iterable[T2]）=>（ys.map（xf），ys）

因为它们是对称的，我不明白一个可以编译，另一个不能。我仍在试图理解这个错误，因为其他用户似乎是从递归类型定义（我不认为我在这里这么做）中得到它的

更新：我相信如果我将磁铁定义为普通类并编写自己的unapply方法，问题就会消失

<console>:13: warning: match may not be exhaustive.
It would fail on the following input: (FunMagnet(Function1()), FunMagnet(_))
         (x, y) match {
         ^
unfurl: [T1, T2](x: SeqOrFun[T1,T2], y: SeqOrFun[T1,T2])(Iterable[T1], Iterable[T2])