::::方法参数的逆变.类似地，子类重写的方法接受更宽的类型也是类型安全（type safe）的：class CatShelter extends AnimalShelter {允许参数逆变的面向对象语言并不多——C++和Java会把它当成一个函数重载。然而，Sather既支持协变，也支持逆变。对于重写的方法，"出"参数和返回值是协变的，而常规的参数是逆变的。
协变的方法参数类型.在主流的语言中，Eiffel 允许一个重写的方法参数比起父类中的那一个有"更加"具体的类型