derivation-ok-restriction.1: Type '{0}' was derived by restriction from type '{1}'. However, '{1}' has a {final} property that forbids derivation by restriction.

型{0}は型{1}から制限によって派生しました。しかし，{1}は，制限によって派生を禁止するfinal属性を持っています。