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