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

型{0}のエラーです。この型の内容型は空ですが，基底の内容型{1}は空ではありません。