strictfunctiontypes

代码中我们定义了三个类型，他们之间的子集关系为 Corgi <: Dog <: Animal。 返回值类型很容易理解：柯基是狗的子类型。但参数类型则是相反的：动物是狗的父类