derivation-ok-restriction.5.4.1.2: Error for type '{0}'. The content type of this type is mixed, but the content type of the base, '{1}', is not.

型{0}のエラーです。この型の内容型は混合ですが，基底の内容型{1}は違います。