子类中的Scala类型参数绑定错误，但不是超类

Question

为什么不做以下工作？

scala> class Foo[B<:Foo[B]]
defined class Foo

scala> class Goo[B<:Foo[B]](x: B)
defined class Goo

scala> class Hoo[B<:Hoo[B]] extends Foo[Hoo[B]] { def f = new Goo(this) }
defined class Hoo

scala> class Ioo extends Hoo[Ioo] { def g = new Goo(this) }
<console>:11: error: inferred type arguments [Ioo] do not conform to class Goo's type parameter bounds [B <: Foo[B]]
       class Ioo extends Hoo[Ioo] { def g = new Goo(this) }
                                            ^

scala> class Ioo extends Hoo[Ioo] { f } // yet this works!
defined class Ioo

Answer 1

新this中的

Goo(this)必须为B <: Foo[B]。这是我，所以我们需要Ioo <: Foo[Ioo]。

Ioo为Hoo[Ioo]，因此Foo[Hoo[Ioo]]（Hoo的继承），不提供Foo[Ioo]。