类型 '%1' 的类型定义无效。基类型或派生类型对于 'mixed' 必须具有相同值，除非按限制派生，在这种情况下，对于派生类型始终允许 'false'。

Invalid type definition for type '%1'. The base and derived types must have the same value for 'mixed' unless deriving by restriction, in which case 'false' is always permitted for the derived type.