類型 '%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.