Scala 子类型链-只是语法限制？

这个问题可能已经被问过了

为什么不支持这一点

class A;
class B[T];
class MyClass[T <: B[U <: A]];

A类；
B类[T]；
类MyClass[T支持这样的嵌套类型边界。如果不希望
U
成为
MyClass
的参数，可以编写

class MyClass[T <: B[_ <: A]]

class C extends A
class D extends B[C]

def x: MyClass[D] = ??? // compiles
def y: MyClass[B[C]] = ??? // compiles
def z: MyClass[B[String]] = ??? // doesn't compile because `String` is not a subtype of `A` 

class MyClass[T
class MyClass[T <: B[_ <: A]]

class C extends A
class D extends B[C]

def x: MyClass[D] = ??? // compiles
def y: MyClass[B[C]] = ??? // compiles
def z: MyClass[B[String]] = ??? // doesn't compile because `String` is not a subtype of `A`