Remember, the supertype relation is reflexive.

记类型的关系是身的。

The same type cannot be the subtype and the supertype.

同一类型是子类型又是父类型。