The same type cannot be the subtype and the supertype.

• 同一类型不能既是子类型又是父类型。