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

The type aa....aa was derived with restrictions from the type bb....bb. However, bb....bb of the final attribute prohibits derivation by restriction.