Bar[MyModel[Any]] compiles because MyModel[Any] satisfies Bar's condition TModel <: Model[TModel]. Indeed MyModel[Any] <: Model[MyModel[Any]] because class MyModel[T] extends Model[MyModel[T]] (you can check thatimplicitly[MyModel[Any] <:< Model[MyModel[Any]]]编译). 这篇关于使用更高种类的类型参数时,了解类型参数不符合类类型参数界限错误的文章就介绍到这了,希望我们推荐的答案对大家有所帮助,也希望大家多多支持! 上岸,阿里云!
07-25 04:35