Remember, the supertype relation is reflexive.

记住超类型。

The same type cannot be the subtype and the supertype.

一类型不能既子类型又父类型。